Tag Archives: conference

IPA: Error Propagation Analysis of Multi-threaded Programs Using Likely Invariants

Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman and Neeraj Suri. Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017. (Acceptance Rate: 27%) [PDF | Talk]
Continue reading

Formal Security Analysis of Smart Embedded Systems

Farid Molazem Tabrizi and Karthik Pattabiraman, Annual Computer Security Applications Conference (ACSAC), 2016. (Acceptance Rate: 23%) [ PDF | Talk ]
Continue reading

Understanding Error Propagation in GPGPU Applications

Guanpeng Li, Karthik Pattabiraman, Chen-Yong Cher and Pradip Bose, International Conference for High-Performance Computing, Storage and Networking (SC), 2016. (Acceptance Rate: 18%) [PDF | Talk ] (Link to LLFI-GPU) Continue reading

A Study of Causes and Consequences of JavaScript Bugs

Frolin Ocariza, Kartik Bajaj, Karthik Pattabiraman and Ali Mesbah, IEEE Transactions on Software Engineering (TSE), 2017. [ PDF ] (Bug Database)
Continue reading

Finding Resilience-Friendly Compiler Optimizations using Meta-Heuristic Search Techniques

Nithya Narayanamurthy, Karthik Pattabiraman and Matei Ripeanu. 12th European Dependable Computing Conference (EDCC), 2016. (Acceptance Rate: 41%) [ PDF | Talk ] (Best Paper Award (one of three)) (ece story)
Continue reading

FIDL: A Fault Injection Description Language for Compiler-based SFI Tools

Maryam Raiyat Ailabadi and Karthik Pattabiraman, International Conference on Computer Safety, Reliability and Security (SafeComp), 2016. (Acceptance Rate: 34%) [ PDF | Talk ]
Continue reading

ePVF: An Enhanced Program Vulnerability Factor Methodology for Cross-Layer Resilience Analysis

Bo Fang, Qining Lu, Karthik Pattabiraman, Matei Ripeanu, and Sudhanva Gurumurthi, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016 (Acceptance rate: 21%). [ PDF | Talk ]
Continue reading

Atrina: Inferring Unit Oracles from GUI Test Cases

Shabnam Mirshokraie, Ali Mesbah and Karthik Pattabiraman, IEEE International Conference on Software Testing, Verification and validation (ICST), 2016. [ PDF | Talk ]
Continue reading

Understanding Asynchronous Interactions in Full-Stack JavaScript

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

Experience Report: An Application-specific Checkpointing Technique for Minimizing Checkpoint Corruption

Guanpeng Li, Karthik Pattabiraman, Chen-Yong Cher and Pradip Bose, Proceedings of the IEEE International Conference on Software Reliability Engineering (ISSRE), 2015. (Accept Rate: 32%). [ PDF | Talk ]
Continue reading