| Safecomp'26 | The Statistical Assessment of Bayes-"sub"optimal Binary Machine Learning Classifier Risk,
Abraham Chan, Ilir Gashi, Sathish Gopalakrishnan, Karthik Pattabiraman, and Kizito Salako |
| VehicleSec'26 | RVDebloater: Mode-based Adaptive Firmware Debloating for Robotic Vehicles,
Mohsen Salehi and Karthik Pattabiraman |
| DSN'26 | Thinking Inside the Box: Injecting Realistic Radiation Faults in ML Accelerators,
Best Paper Award
Bruno Loureiro Coelho, Seyedmani Sadati, Abraham Chan, Alex Hands, Karthik Pattabiraman, and Paolo Rech |
| DSN'26 | ReSect: A Tool for Automated Analysis of Reentrancy Exploit Transactions on Blockchains,
Yuqi Liu, Rui Xi, and Karthik Pattabiraman |
| Middleware'26 | Requalizer: A Co-designed Information Flow Control and Quality of Service Management Framework,
Kumseok Jung, Sathish Gopalakrishnan, Karthik Pattabiraman |
| ICRA'26 | ARMOR: Attack-Resilient Reinforcement Learning Control for UAVs,
Pritam Dash, Ethan Chan, Nathan P. Lawrence, Karthik Pattabiraman |
| EuroSys'26 | Turnstile: Hybrid Information Flow Control Framework for Managing Privacy in Internet-of-Things Applications,
Kumseok Jung, Mohanna Shahrad, Gargi Mitra, and Karthik Pattabiraman |
| ISSRE'25 | DLAFI: Software-Based Fault Injection for Permanent Faults in Deep Learning Accelerators,
Seyedmani Sadati, Abraham Chan, Udit Kumar Agarwal and Karthik Pattabiraman |
| CCS'25 | Anonymity Unveiled: A Practical Framework for Auditing Data Use in Deep Learning Models,
Zitao Chen and Karthik Pattabiraman |
| DSN'25 | ReMIX: Resilience for ML Ensembles using XAI at Inference against Faulty Training Data,
Abraham Chan, Arpan Gujarati, Karthik Pattabiraman and Sathish Gopalakrishnan |
| DSN'25 | RAVAGE: Robotic Autonomous Vehicles' Attack Generation Engine,
Pritam Dash and Karthik Pattabiraman |
| DSN'25 | Reentrancy Redux: The Evolution of Real-World Reentrancy Attacks on Blockchains,
Yuqi Liu, Rui Xi, and Karthik Pattabiraman |
| SAC'25 | D-semble: Efficient Diversity-Guided Search for Resilient ML Ensembles,
Abraham Chan, Arpan Gujarati, Karthik Pattabiraman and Sathish Gopalakrishnan |
| NDSS'25 | A Method to Facilitate Membership Inference Attacks in Deep Learning Models,
Zitao Chen and Karthik Pattabiraman |
| CCS'24 | AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices,
Mohsen Salehi and Karthik Pattabiraman |
| CCS'24 | SpecGuard: Specification Aware Recovery for Robotic Autonomous Vehicles from Physical Attacks,
Pritam Dash, Ethan Chan and Karthik Pattabiraman |
| IEEE S&P'24 | POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance,
Rui Xi, Zehua Wang, and Karthik Pattabiraman |
| CHASE'24 | Systematically Assessing the Security Risks of AI/ML-enabled Connected Healthcare Systems,
Mohammad ElNawawy, Mohammadreza Hallajiyan, Gargi Mitra, Shahrear Iqbal, and Karthik Pattabiraman |
| IoTDI'24 | ImmunoPlane: Middleware for Providing Adaptivity to Distributed Internet-of-Things Applications,
Kumseok Jung, Gargi Mitra, Sathish Gopalakrishnan and Karthik Pattabiraman |
| AsiaCCS'24 | Diagnosis-guided Attack Recovery for Securing Robotic Vehicles from Sensor Deception Attacks,
Pritam Dash, Guanpeng Li, Mehdi Karimibiuki, and Karthik Pattabiraman |
| NDSS'24 | Overconfidence is a Dangerous Thing: Mitigating Membership Inference Attacks by Enforcing Less Confident Prediction,
Zitao Chen and Karthik Pattabiraman |
| SEC'23 | EdgeEngine: A Thermal-Aware Optimization Framework for Edge Inference,
Amirhossein Ahmadi, Hazem Abdelhafez, Karthik Pattabiraman and Matei Ripeanu |
| ISSRE'23 | Resilience Assessment of Large Language Models under Transient Hardware Faults,
Udit Agarwal, Abraham Chan, and Karthik Pattabiraman |
| ISSRE'23 | Evaluating the Effect of Common Annotation Faults on Object Detection Techniques,
Abraham Chan, Arpan Gujarati, Karthik Pattabiraman and Sathish Gopalakrishnan |
| SC'23 | Structural Coding: A Low-Cost Scheme to Protect CNNs from Large-Granularity Memory Faults,
Ali Asgari, Florian Geissler, Syed Qutub, Michael Paulitsch, Prashant Nair, and Karthik Pattabiraman |
| SafeComp'23 | A Low-cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks,
Florian Geissler, Syed Qutub, Michael Paulitsch and Karthik Pattabiraman |
| DSN'23 | SwarmFuzz: Discovering GPS Spoofing Attacks in Drone Swarms,
Yiangao (Elaine) Yao, Pritam Dash, and Karthik Pattabiraman |
| ICSE'23 | AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities,
Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman |
| AsiaCCS'23 | Jujutsu: A Two-stage Defense against Adversarial Patch Attacks on Deep Neural Networks,
Zitao Chen, Pritam Dash, and Karthik Pattabiraman |
| SEC'22 | Characterizing Variability in Heterogeneous Edge Systems: A Methodology & Case Study,
Hazem A. Abdelhafez, Hassan Halawa, Amr Almoallim, Amirhossein Ahmadi, Karthik Pattabiraman, and Matei Ripeanu |
| ISSRE'22 | LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications,
Udit Agarwal, Abraham Chan, and Karthik Pattabiraman |
| ISSTA'22 | eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts,
Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman |
| DSN'22 | The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in ML Applications,
Abraham Chan, Arpan Gujarati, Karthik Pattabiraman, and Sathish Gopalakrishnan |
| IoTDI'22 | π-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge,
Mohammad Rafiuzzaman, Sathish Gopalakrishnan and Karthik Pattabiraman |
| SANER'22 | When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts,
Rui Xi and Karthik Pattabiraman |
| QRS'21 | Understanding the Resilience of Neural Network Ensembles against Faulty Training Data, Best Paper Award
Abraham Chan, Niranjhana Narayananan, Arpan Gujarati, Karthik Pattabiraman, and Sathish Gopalakrishnan |
| SEC'21 | OneOS: Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines, Best Demo Award
Kumseok Jung, Julien Gascon-Samson, and Karthik Pattabiraman |
| SEC'21 | MIRAGE: Machine Learning-based Modeling of Identical Replicas of the Jetson AGX Embedded Platform,
Hazem A. Abdelhafez, Hassan Halawa, Mohamed Ahmed, Karthik Pattabiraman, and Matei Ripeanu |
| PRDC'21 | Are you for Real? Authentication in Dynamic IoT Systems,
Mehdi Karimibiuki, Karthik Pattabiraman, and Andre Ivanov |
| DSN'21 | PID-Piper: Recovering Robotic Vehicles from Physical Attacks, Best Paper Award
Pritam Dash, Guanpeng Li, Zitao Chen, Mehdi Karimibiuki, and Karthik Pattabiraman |
| DSN'21 | A Low Cost Fault Corrector for Deep Neural Networks through Range Restriction, Best Paper Runner-Up; IEEE TPTR 2024
Zitao Chen, Guanpeng Li, and Karthik Pattabiraman |
| ISSRE'20 | TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications,
Zitao Chen, Niranjhana Narayanan, Bo Fang, Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben |
| ISSRE'20 | How Far Have We Come in Detecting Anomalies in Distributed Systems?,
Yong Yang, Yifan Wu, Karthik Pattabiraman, Long Wang, and Ying Li |
| SC'20 | GPU-TRIDENT: Efficient Modeling of Error Propagation in GPU Programs,
Abdul Rehman Anwer, Guanpeng Li, Karthik Pattabiraman, Michael Sullivan, Timothy Tsai and Siva Hari |
| ISSTA'20 | How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection,
Asem Ghaleb and Karthik Pattabiraman |
| DSN'20 | Trace Sanitizer: Eliminating the Effects of Non-Determinism on Error Propagation Analysis,
Habib Saissi, Stefan Winter, Oliver Schwan, Karthik Pattabiraman, and Neeraj Suri |
| ACSAC'19 | Out of Control: Stealthy Attacks on Robotic Vehicles Protected by Control-Based Techniques,
Pritam Dash, Mehdi Karimibuiki, and Karthik Pattabiraman |
| ISSRE'19 | 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 |
| SC'19 | BinFI: An Efficient Fault Injector for Safety-Critical Machine Learning Systems, Reproducibility Initiative Finalist
Zitao Chen, Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben |
| ICS'19 | BonVoision: Leveraging Spatial Data Smoothness for Recovery from Memory Soft Errors,
Bo Fang, Karthik Pattabiraman, Matei Ripeanu and Sriram Krishnamoorthy |
| SAC'19 | Failure Prediction in the Internet of Things due to Memory Exhaustion,
Mohammad Rafiuzzaman, Julien Gascon-Samson, Karthik Pattabiraman, and Sathish Gopalakrishnan |
| PRDC'18 | DynPolAC: Dynamic Policy-based Access Control for IoT Systems,
Mehdi Karimibuiki, Ekta Aggarwal, Karthik Pattabiraman and Andre Ivanov |
| ECOOP'18 | ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications,
Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezalean-Asel, and Karthik Pattabiraman |
| DSN'18 | Modeling Soft-Error Propagation in Programs, Best Paper Runner-Up
Guanpeng Li, Karthik Pattabiraman, Siva Kumar Sastry Hari, Michael Sullivan, and Timothy Tsai |
| DSN'18 | Modeling Input-Dependent Error Propagation in Programs,
Guanpeng Li, and Karthik Pattabiraman |
| ICSE'18 | Inferring Hierarchical Motifs from Execution Traces,
Saba Alimadadi, Ali Mesbah, and Karthik Pattabiraman |
| ASE'17 | Detecting Unknown Inconsistencies in Web Applications,
Frolin Ocariza, Karthik Pattabiraman, and Ali Mesbah |
| SC'17 | Understanding Error Propagation in Deep learning Neural Networks (DNN) Accelerators and Applications, IEEE TPTR 2023
Guanpeng Li, Siva Hari, Michael Sullivan, Timothy Tsai, Karthik Pattabiraman, Joel Emer, Stephen Keckler |
| FSE'17 | ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security,
Maryam Raiyat Aliabadi, Amita Kamath, Julien Samson, and Karthik Pattabiraman |
| HPDC'17 | LetGo: A Lightweight Continuous Framework for HPC Applications Under Failures,
Bo Fang, Qiang Guan, Nathan Debardeleben, Karthik Pattabiraman, and Matei Ripeanu |
| DSN'17 | One Bit is (Not) Enough: An Empirical Study of the Impact of Single Bit and Multiple Bit-Flip Errors,
Behrooz Sangchoolie, Karthik Pattabiraman and Johan Karlsson |
| ICST'17 | IPA: Error Propagation Analysis of Multi-threaded Programs Using Likely Invariants,
Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman and Neeraj Suri |
| ACSAC'16 | Formal Security Analysis of Smart Embedded Systems,
Farid Molazem Tabrizi and Karthik Pattabiraman |
| SC'16 | Understanding Error Propagation in GPGPU Applications,
Guanpeng Li, Karthik Pattabiraman, Chen-Yong Cher and Pradip Bose |
| EDCC'16 | Finding Resilience-Friendly Compiler Optimizations Using Meta-Heuristic Search Techniques, Best Paper Award
Nithya Narayanamurthy, Karthik Pattabiraman, and Matei Ripeanu |
| SafeComp'16 | FIDL: Fault Injection Description Language for Compiler-Based SFI Tools,
Maryam Raiyat Ailabadi and Karthik Pattabiraman |
| DSN'16 | ePVF: An Enhanced Program Vulnerability Factor Methodology for Cross-Layer Resilience Analysis,
Bo Fang, Qining Lu, Karthik Pattabiraman, Matei Ripeanu and Sudhanva Gurumurthi |
| ICST'16 | Inferring Unit Oracles from GUI Test Cases,
Shabnam Mirshokraie, Ali Mesbah and Karthik Pattabiraman |
| ICSE'16 | Understanding Asynchronous Interactions in Full-Stack JavaScript,
Saba Alimadadi, Ali Mesbah and Karthik Pattabiraman |
| ISSRE'15 | Experience Report: An Application-specific Checkpointing Technique for Minimizing Checkpoint Corruption,
Guanpeng Li, Karthik Pattabiraman, Chen-Yong Cher and Pradip Bose |
| ASE'15 | Synthesizing Web Element Locators,
Kartik Bajaj, Karthik Pattabiraman and Ali Mesbah |
| EDCC'15 | Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems, Best Paper Award
Farid Molazem Tabrizi and Karthik Pattabiraman |
| ECOOP'15 | Hybrid DOM-sensitive Change Impact Analysis for JavaScript,
Saba Alimadadi, Ali Mesbah and Karthik Pattabiraman |
| DSN'15 | Fine-Grained Characterization of Faults Causing Long Latency Crashes in Programs,
Guanpeng Li, Qining Lu and Karthik Pattabiraman |
| ICSE'15 | Finding Inconsistencies in JavaScript MVC Applications,
Frolin Ocariza, Karthik Pattabiraman and Ali Mesbah |
| ICST'15 | JSEFT: Automated JavaScript Unit Test Generation,
Shabnam Mirshokraie, Ali Mesbah and Karthik Pattabiraman |
| ISSRE'14 | Failure Analysis of Jobs in Compute Clouds: A Google Cluster Case Study, Highlights of ISSRE 2019
Xin Chen, Charng-da Lu and Karthik Pattabiraman |
| CASES'14 | SDCTune: A Model for Predicting the SDC-Proneness of an Application for Configurable Protection,
Qining Lu, Karthik Pattabiraman, Meeta Gupta and Jude Rivers |
| DSN'14 | Integrated Hardware-Software Diagnosis for Intermittent Hardware Faults,
Majid Dadashi, Layali Rashid, Karthik Pattabiraman and Sathish Gopalakrishnan |
| DSN'14 | Quantifying the Accuracy of High-Level Fault Injection Techniques for Hardware Faults,
Jiesheng Wei, Anna Thomas, Guanpeng Li, and Karthik Pattabiraman |
| ICSE'14 | Vejovis: Suggesting Fixes for JavaScript Faults,
Frolin S. Ocariza, Karthik Pattabiraman and Ali Mesbah |
| ICSE'14 | Understanding JavaScript Event-Based Interactions, ACM SIGSOFT Distinguished Paper Award
Saba Alimadi, Sheldon Sequira, Ali Mesbah and Karthik Pattabiraman |
| ASE'14 | Dompletion: DOM-Aware Code Completion,
Kartik Bajaj, Karthik Pattabiraman and Ali Mesbah |
| MSR'14 | Mining Questions Asked by Web Developers,
Kartik Bajaj, Karthik Pattabiraman and Ali Mesbah |
| ISPASS'14 | GPU-Qin: A Methodology for Evaluating the Error Resilience of GPGPU Applications,
Bo Fang, Karthik Pattabiraman, Matei Ripeanu and Sudhanva Gurumurthi |
| HASE'14 | A Model-based Intrusion Detection System for Smart Meters,
Farid M. Tabrizi and Karthik Pattabiraman |
| ASE'13 | PYTHIA: Generating Test Cases with Oracles for JavaScript Applications,
Shabnam Mirshokraie, Ali Mesbah and Karthik Pattabiraman |
| ESEM'13 | An Empirical Study of Client-Side JavaScript Bugs,
Frolin Ocariza, Kartik Bajaj, Karthik Pattabiraman, and Ali Mesbah |
| DSN'13 | Error Detector Placement for Soft Computation,
Anna Thomas and Karthik Pattabiraman |
| ICST'13 | Efficient JavaScript Mutation Testing, Best Paper Runner-Up
Shabnam Mirshokraie, Ali Mesbah and Karthik Pattabiraman |
| QEST'12 | Intermittent Errors Recovery: Modeling and Evaluation,
Layali Rashid, Karthik Pattabiraman and Sathish Gopalakrishnan |
| DSN'12 | BLOCKWATCH: Leveraging Similarity in Parallel Programs for Error Detection,
Jiesheng Wei and Karthik Pattabiraman |
| ICST'12 | AutoFlox: An Automatic Fault Localizer For JavaScript, Best Paper Nominee
Frolin Ocariza Jr., Karthik Pattabiraman and Ali Mesbah |
| ISSRE'11 | JavaScript Errors in the Wild: An Empirical Study,
Frolin Ocariza Jr., Karthik Pattabiraman and Ben Zorn |
| CSF'11 | Yarra: An Extension to C for Data Integrity and Partial Safety,
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker and Ben Zorn |
| ASPLOS'11 | Flikker: Saving DRAM Refresh-power through Critical Data Partitioning, Jean-Claude Laprie Award 2025
Song Liu, Karthik Pattabiraman, Thomas Moscibroda and Benjamin Zorn |
| PRDC'10 | Modeling the Propagation of Intermittent Hardware Faults in Programs,
Layali Rashid, Karthik Pattabiraman and Sathish Gopalakrishnan |
| ISSRE'10 | DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing,
Karthik Pattabiraman and Benjamin Zorn |
| DSN'09 | An End-to-end Approach for the Automatic Derivation of Application-aware Error Detectors,
Galen Lyle, Shelley Chen, Karthik Pattabiraman, Zbigniew Kalbarczyk and Ravishankar Iyer |
| SEC'09 | Discovering Application-level Insider attacks using Symbolic Execution,
Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk and Ravishankar Iyer |
| PPoPP'09 | ToleRace: Detecting and Tolerating Asymmetric Races,
Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin Zorn, Karthik Pattabiraman and Rahul Nagpal |
| DSN'08 | SymPLFIED: Symbolic Program Level Fault-Injection and Error Detection Framework, William C. Carter Best Paper Award
Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk and Ravishankar Iyer |
| EuroSys'08 | Samurai: Protecting Critical Heap Data in Unsafe Languages,
Karthik Pattabiraman, Vinod Grover and Benjamin Zorn |
| IOLTS'07 | Automated Derivation of Application-Aware Error Detectors using Static Analysis,
Karthik Pattabiraman, Zbigniew Kalbarczyk and Ravishankar Iyer |
| DSN'07 | Processor-level Selective Replication,
Nithin Nakka, Karthik Pattabiraman and Ravishankar Iyer |
| EDCC'06 | Dynamic Derivation of Application-Specific Error Detectors and their Hardware Implementation,
Karthik Pattabiraman, Giacinto Paulo Saggese, Daniel Chen, Zbigniew Kalbarczyk, Ravishankar Iyer |
| PRDC'05 | Application-Based Metrics for Strategic Placement of Detectors,
Karthik Pattabiraman, Zbigniew Kalbarczyk and Ravishankar Iyer |
| DSN'05 | Modeling Coordinated Checkpointing for Large-Scale Supercomputers,
Long Wang, Karthik Pattabiraman, Larry Votta, Chris Vick, Alan Wood, Zbigniew Kalbarczyk and Ravishankar Iyer |
| SEC'04 | Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities by Pointer Taintedness Semantics,
Shuo Chen, Karthik Pattabiraman, Zbigniew Kalbarczyk and Ravishankar Iyer |