Tag Archives: conference

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

Posted on June 30, 2020 | 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, To appear in the ACM International Conference on High-Performance Computing, Networking, Storage, and Analyzis (SC), 2020 (Acceptance Rate: TBD) [PDF (coming soon) | 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 | 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. [PDF | Talk] (Acceptance Rate: 26%) (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 | 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 , , ,

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

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

Pritam Dash, Mehdi Karimi, 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)
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 | 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 | 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 , , , , ,

BonVoision: Leveraging Spatial Data Smoothness for Recovery from Memory Soft Errors

Posted on April 14, 2019 | Comments Off on BonVoision: Leveraging Spatial Data Smoothness for Recovery from Memory Soft Errors

Bo Fang, Hassan Halawa, Karthik Pattabiraman, Matei Ripeanu and Sriram Krishnamurthy, , Proceedings of the ACM International Conference on Supercomputing (ICS), 2019. (Acceptance Rate: 23.2 %). [ PDF | Talk ]
Continue reading →

Comments Off on BonVoision: Leveraging Spatial Data Smoothness for Recovery from Memory Soft Errors

Posted in papers

Tagged , , , ,

Failure Prediction in the Internet of Things due to Memory Exhaustion

Posted on November 28, 2018 | Comments Off on Failure Prediction in the Internet of Things due to Memory Exhaustion

Mohammad Rafiuzzaman, Julien Gascon-Samson, Karthik Pattabiraman, and Sathish Gopalakrishnan, Proceedings of the ACM/SIGAPP International Conference on Applied Computing (SAC), 2019. Dependable, Adaptive, Distributed Systems (DADS) Track. (Acceptance Rate: 27.5%) [ PDF | Talk ]
Continue reading →

Comments Off on Failure Prediction in the Internet of Things due to Memory Exhaustion

Posted in papers

Tagged , , , , ,

DynPolAC: Dynamic Policy-based Access Control for IoT Systems

Posted on September 25, 2018 | Comments Off on DynPolAC: Dynamic Policy-based Access Control for IoT Systems

Mehdi Karimi, Ekta Aggarwal, Karthik Pattabiraman, and Andre Ivanov, IEEE International Symposium on Dependable Computing (PRDC), 2018. (Acceptance Rate: 49%). [ PDF | Talk Slides ] (Code)
Continue reading →

Comments Off on DynPolAC: Dynamic Policy-based Access Control for IoT Systems

Posted in papers

Tagged , , , , ,

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Posted on April 13, 2018 | Comments Off on ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezalean-Asel, Karthik Pattabiraman, European Conference on Object Oriented Programming (ECOOP), 2018. (Acceptance Rate: 39%). [ PDF | Talk | Poster ] (Code)
Continue reading →

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

Posted in papers

Tagged , , , , ,