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
Category Archives: papers
PID-Piper: Recovering Robotic Vehicles from Physical Attacks
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, Code – Artifacts 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