Category Archives: papers

Papers published in peer-reviewed conferences, journals or workshops.

PID-Piper: Recovering Robotic Vehicles from Physical Attacks

Pritam Dash, Guanpeng Li, Zitao Chen, Mehdi Karimibiuki, and Karthik Pattabiraman, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021. (Acceptance Rate: 16.5%). [ PDF | Talk, Talk Video ] (Code, PID-Piper Videos) Best Paper Award (1 of nearly 300 submissions).
Continue reading

Comments Off on PID-Piper: Recovering Robotic Vehicles from Physical Attacks

Filed under papers

A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction

Zitao Chen, Guanpeng Li, and Karthik Pattabiraman, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021. (Acceptance Rate: 16.5%). [ PDF | Talk , Video] (arXIV, code) Best Paper Award Runner up (1 of 2).
Continue reading

Comments Off on A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction

Filed under papers

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Kumseok Jung, Julien Gascon-Samson, Shivanshu Goyal, Armin Rezalean-Asel, and Karthik Pattabiraman, To appear in the Journal of Software Practice and Experience (SPE). [ PDF ]
Continue reading

Comments Off on ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Filed under papers

An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Behrooz Sangchoolie, Karthik Pattabiraman and Johan Karlsson, To appear in the IEEE Transactions on Dependable and Secure Computing (TDSC). [ PDF ]
Continue reading

Comments Off on An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Filed under papers

New Wine in an Old Bottle: N-Version Programming for Machine Learning Components

Arpan Gujarati, Sathish Gopalakrishnan, and Karthik Pattabiraman, IEEE International Workshop on Software Certification (WoSoCER), 2020. Held in conjunction with the IEEE International Symposium on Software Reliability Engineering (ISSRE), 2020. [PDF][Talk]
Continue reading

Comments Off on New Wine in an Old Bottle: N-Version Programming for Machine Learning Components

Filed under papers

Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Pritam Dash, Mehdi Karimibuiki, and Karthik Pattabiraman, To appear in the ACM Journal on Digital Threats: Research and Practice (DTRAP). Acceptance Date: August 2020. [ PDF ]
Continue reading

Comments Off on Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Filed under papers

How Far Have We Come in Detecting Anomalies in Distributed Systems? An Empirical Study with a Statement-level Fault Injection Method

Yong Yang, Yifan Yu, Karthik Pattabiraman, Long Wang, Ying Li, IEEE International Symposium on Software Reliability Engineering (ISSRE), 2020. (Acceptance Rate: 26%). [ PDF | Talk ] (Code)
Continue reading

Comments Off on How Far Have We Come in Detecting Anomalies in Distributed Systems? An Empirical Study with a Statement-level Fault Injection Method

Filed under papers

TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications

Zitao Chen, Niranjhana Narayanan, Bo Fang, Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben, IEEE International Symposium on Software Reliability Engineering (ISSRE), 2020. (Acceptance Rate: 26%) [ PDF | Talk ] (Code)
Continue reading

Comments Off on TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications

Filed under papers

GPU-TRIDENT: Efficient Modeling of Error Propagation in GPU Programs

Abdul Rehman Anwer, Guanpeng Li, Karthik Pattabiraman, Michael Sullivan, Timothy Tsai and Siva Hari, ACM International Conference on High-Performance Computing, Networking, Storage, and Analyzis (SC), 2020 (Acceptance Rate: 25.1%) [PDF | Talk] (Code)
Continue reading

Comments Off on GPU-TRIDENT: Efficient Modeling of Error Propagation in GPU Programs

Filed under papers

How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Asem Ghaleb and Karthik Pattabiraman, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2020. (Acceptance Rate: 26%) [PDF | Talk] (DataSet, CodeArtifacts Functional Badge)
Continue reading

Comments Off on How Effective are Smart Contract Static Analysis Tools ? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Filed under papers