Tag Archives: 2016

Configurable Detection of SDC-Causing Errors in Programs

Qining Lu, Guanpeng Li, Karthik Pattabiraman, Meeta Gupta and Jude Rivers, To appear in the ACM Transactions on Embedded Computing Systems (TECS). [ PDF ]
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

A Systematic Methodology for Evaluating the Error Resilience of GPGPU Applications

Bo Fang, Karthik Pattabiraman, Matei Ripeanu and Sudhanva Gurumurthi, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2016. [ PDF ]
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