Tag Archives: misc

Nekara: Generalized Consistency Testing

Posted on November 12, 2021 by | Comments Off on Nekara: Generalized Consistency Testing

Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao, Proceedings of the ACM/IEEE International Conference on Automated Software Engineering (ASE), 2021. [ PDF | Talk Slides]

Continue reading →

Comments Off on Nekara: Generalized Consistency Testing

Posted in papers

Tagged , , , , ,

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 , , , , ,

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 , , , , , ,

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 , , , ,

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 , , , , , , ,

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

Posted on April 14, 2019 by | 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 , , , , ,

Modeling Soft-Error Propagation in Programs

Posted on March 4, 2018 by | Comments Off on Modeling Soft-Error Propagation in Programs

Guanpeng Li, Karthik Pattabiraman, Siva Kumar Sastry Hari, Michael Sullivan, and Timothy Tsai. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018. (Acceptance Rate for Regular Papers: 25%) [ PDF | Talk ] (Link to Code) (Best Paper Runner up)
Continue reading →

Comments Off on Modeling Soft-Error Propagation in Programs

Posted in papers

Tagged , , , , , ,

Modeling Input Dependent Error Propagation in Programs

Posted on March 4, 2018 by | Comments Off on Modeling Input Dependent Error Propagation in Programs

Guanpeng Li and Karthik Pattabiraman, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018. (Acceptance Rate for Regular Papers: 25%) [PDF | Talk] (Link to Code)
Continue reading →

Comments Off on Modeling Input Dependent Error Propagation in Programs

Posted in papers

Tagged , , , , ,

Inferring Hierarchical Motifs from Execution Traces

Posted on December 13, 2017 by | Comments Off on Inferring Hierarchical Motifs from Execution Traces

Saba Alimadadi, Ali Mesbah, and Karthik Pattabiraman, ACM/IEEE International Conference on Software Engineering (ICSE), 2018. (Acceptance Rate: 21%). [ PDF | Talk ]

Continue reading →

Comments Off on Inferring Hierarchical Motifs from Execution Traces

Posted in papers

Tagged , , , ,

Detecting Unknown Inconsistencies in Web Applications

Posted on July 18, 2017 by | Comments Off on Detecting Unknown Inconsistencies in Web Applications

Frolin Ocariza, Karthik Pattabiraman, and Ali Mesbah, IEEE/ACM International Conference onAutomated Software Engineering (ASE), 2017. (Acceptance Rate: 21%) [ PDF | Talk ]
Continue reading →

Comments Off on Detecting Unknown Inconsistencies in Web Applications

Posted in papers

Tagged , , , , ,