Category Archives: papers

Fault Injection for TensorFlow Applications

Posted on May 10, 2022 by | Comments Off on Fault Injection for TensorFlow Applications

Niranjhana Narayanan, Zitao Chen, Bo Fang, Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben, IEEE Transactions on Dependable and Secure Computing (TDSC). Acceptance Date: May 2022. [ PDF ] (code1, code2)
Continue reading →

Comments Off on Fault Injection for TensorFlow Applications

Posted in papers

Tagged , , , , , , , ,

eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts

Posted on April 8, 2022 by | Comments Off on eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts

Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022. (Acceptance Rate: 24.5%). [ PDF | Talk ] (Code) Artifacts Available and Reproducible Badge (link)
Continue reading →

Comments Off on eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts

Posted in papers

Tagged , , , ,

The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in ML Applications

Posted on March 14, 2022 by | Comments Off on 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. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022. (Acceptance rate: 18.7%) [ PDF | Talk ] (Code)
Continue reading →

Comments Off on The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in ML Applications

Posted in papers

Tagged , , , , , ,

π-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge

Posted on January 19, 2022 by | Comments Off on π-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge

Mohammad Rafiuzzaman, Sathish Gopalakrishnan and Karthik Pattabiraman, Proceedings of the ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), 2022. (Acceptance Rate: 33%) [ PDF | Talk ] (code)

Continue reading →

Comments Off on π-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge

Posted in papers

Tagged , , , ,

When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts

Posted on December 18, 2021 by | Comments Off on When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts

Rui Xi and Karthik Pattabiraman, Proceedings of the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022. (Acceptance Rate: 36%) [ PDF | Talk ] (Code)
Continue reading →

Comments Off on When They Go Low: Automated Replacement of Low-level Functions in Ethereum Smart Contracts

Posted in papers

Tagged , , , ,

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

Understanding the Resilience of Neural Network Ensembles against Faulty Training Data

Posted on October 22, 2021 by | Comments Off on Understanding the Resilience of Neural Network Ensembles against Faulty Training Data

Abraham Chan, Niranjhana Narayananan, Arpan Gujarati, Karthik Pattabiraman, and Sathish Gopalakrishnan, IEEE International Symposium on Quality, Reliability and Security (QRS), 2021. Full paper (Acceptance Rate: 25.1%) [ PDF | Talk | Video ] Best Paper Award (1 of 3)

Continue reading →

Comments Off on Understanding the Resilience of Neural Network Ensembles against Faulty Training Data

Posted in papers

Tagged , , , , , , , ,

OneOS: Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines

Posted on September 4, 2021 by | Comments Off on OneOS: Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines

Kumseok Jung, Julien Gascon-Samson, and Karthik Pattabiraman, ACM/IEEE Symposium on Edge Computing (SEC), 2021 (Acceptance Rate: 27%) [ PDF | Talk ] (code, demo video). Best Demo Award (one award given)
Continue reading →

Comments Off on OneOS: Middleware for Running Edge Computing Applications as Distributed POSIX Pipelines

Posted in papers

Tagged , , , ,

MIRAGE: Machine Learning-based Modeling of Identical Replicas of the Jetson AGX Embedded Platform

Posted on September 4, 2021 by | Comments Off on 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. ACM/IEEE Symposium on Edge Computing (SEC), 2021 (Acceptance Rate: 27%). [ PDF | Talk ]
Continue reading →

Comments Off on MIRAGE: Machine Learning-based Modeling of Identical Replicas of the Jetson AGX Embedded Platform

Posted in papers

Tagged , , ,

Are you for Real? Authentication in Dynamic IoT Systems

Posted on September 2, 2021 by | Comments Off on Are you for Real? Authentication in Dynamic IoT Systems

Mehdi Karimibiuki, Karthik Pattabiraman, and Andre Ivanov, IEEE International Symposium on Pacific Rim Dependable Computing (PRDC), 2021. (Acceptance Rate: 43%) [ PDF | Talk ]
Continue reading →

Comments Off on Are you for Real? Authentication in Dynamic IoT Systems

Posted in papers

Tagged , , , ,