Category Archives: papers

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

Posted on August 14, 2020 by | Comments Off on 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

Posted in papers

Tagged , , , , ,

TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications

Posted on August 14, 2020 by | Comments Off on 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

Posted in papers

Tagged , , , , , , , ,

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

Posted on June 30, 2020 by | Comments Off on 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

Posted in papers

Tagged , , , , , ,

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

Posted on May 22, 2020 by | Comments Off on 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

Posted in papers

Tagged , , , , , ,

TraceSanitizer – Eliminating the Effects of Non-determinism on Error Propagation Analysis

Posted on April 26, 2020 by | Comments Off on 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

Posted in papers

Tagged , , , ,

Improving the Accuracy of IR-Level Fault Injection

Posted on April 4, 2020 by | Comments Off on 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

Posted in papers

Tagged , , , , , ,

Out of Control: Stealthy Attacks on Robotic Vehicles Protected by Control-Based Techniques

Posted on August 25, 2019 by | Comments Off on Out of Control: Stealthy Attacks on Robotic Vehicles Protected by Control-Based Techniques

Pritam Dash, Mehdi Karimibiuki, and Karthik Pattabiraman, Annual Computer Security Applications Conference (ACSAC), 2019. (Acceptance Rate: 22.6%) [ PDF | Talk ] (Code – Artifacts Reusable Badge from ACM)(Videos) This work appeared in the media (Eureka alert)(TechXplore)(Globalnews)(Market Associates)(Helpnet, SERENE-RISC digest)
Continue reading →

Comments Off on Out of Control: Stealthy Attacks on Robotic Vehicles Protected by Control-Based Techniques

Posted in papers

Tagged , , , , ,

A Tale of Two Injectors: End-to-End Comparison of IR-level and Assembly-Level Fault Injection

Posted on July 21, 2019 by | Comments Off on A Tale of Two Injectors: End-to-End Comparison of IR-level and Assembly-Level Fault Injection

Lucas Palazzi, Guanpeng Li, Bo Fang, and Karthik Pattabiraman, IEEE International Symposium on Software Reliability Engineering (ISSRE), 2019. (Acceptance Rate: 31.4%) [ PDF | Talk ] (code)
Continue reading →

Comments Off on A Tale of Two Injectors: End-to-End Comparison of IR-level and Assembly-Level Fault Injection

Posted in papers

Tagged , , , , , , ,

BinFI: An Efficient Fault Injector for Safety-Critical Machine Learning Systems

Posted on June 16, 2019 by | Comments Off on BinFI: An Efficient Fault Injector for Safety-Critical Machine Learning Systems

Zitao Chen, Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben, The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC), 2019. (Acceptance Rate: 21%) [ PDF | Talk ] ( Code Finalist for the SC reproducibility challenge (one of 3 papers))
Continue reading →

Comments Off on BinFI: An Efficient Fault Injector for Safety-Critical Machine Learning Systems

Posted in papers

Tagged , , , , , ,

OneOS: IoT Platform based on Posix and Actors

Posted on May 20, 2019 by | Comments Off on OneOS: IoT Platform based on Posix and Actors

Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman, Proceedings of the Usenix Workshop on Hot Topics in Edge Computing (HotEdge), 2019. [ PDF | Talk ] (Code)
Continue reading →

Comments Off on OneOS: IoT Platform based on Posix and Actors

Posted in papers

Tagged , , , ,