Category Archives: papers

A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Posted on October 7, 2022 by | Comments Off on A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Rui Xi and Karthik Pattabiraman, Journal of Software Practice and Experience (SPE). [ PDF ] (featured in the Smart Contract Research Forum)
Continue reading →

Comments Off on A Large-scale Empirical Study of Low-level Function Use in Ethereum Smart Contracts and Automated Replacement

Posted in papers

Tagged , , , ,

Characterizing Variability in Heterogeneous Edge Systems: A Methodology & Case Study

Posted on September 9, 2022 by | Comments Off on Characterizing Variability in Heterogeneous Edge Systems: A Methodology & Case Study

Hazem A. Abdelhafez, Hassan Halawa, Amr Almoallim, Amirhossein Ahmadi, Karthik Pattabiraman, and Matei Ripeanu. ACM/IEEE International Symposium on Edge Computing (SEC), 2022. (Acceptance Rate: 27%) [ PDF | Talk ]
Continue reading →

Comments Off on Characterizing Variability in Heterogeneous Edge Systems: A Methodology & Case Study

Posted in papers

Tagged , , , ,

LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (Tools and Artifact Track)

Posted on July 29, 2022 by | Comments Off on LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (Tools and Artifact Track)

Udit Agarwal, Abraham Chan, and Karthik Pattabiraman, IEEE International Symposium on Software Reliability Engineering (ISSRE), 2022. (Acceptance Rate: 29%) [ PDF | Talk (video) ] (Code)
Continue reading →

Comments Off on LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (Tools and Artifact Track)

Posted in papers

Tagged , , , , , ,

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