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
Tag Archives: 2020
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
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
TraceSanitizer – Eliminating the Effects of Non-determinism on Error Propagation Analysis
Habib Saissi, Stefan Winter, Oliver Schwan, Karthik Pattabiraman, and Neeraj Suri, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2020. (Acceptance Rate: 16.5%). [PDF | Talk] (Code)
Continue reading
Comments Off on TraceSanitizer – Eliminating the Effects of Non-determinism on Error Propagation Analysis
Filed under papers
Improving the Accuracy of IR-Level Fault Injection
Lucas Palazzi, Guanpeng Li, Bo Fang, and Karthik Pattabiraman, IEEE Transactions on Dependable and Secure Computing (TDSC). (Acceptance date: March 2020). [PDF] (Code)
Continue reading
Comments Off on Improving the Accuracy of IR-Level Fault Injection
Filed under papers