Author Archives: karthik

BinFI: An Efficient Fault Injector for Safety-Critical Machine Learning Systems

Zitao Chen, Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben, The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC), 2019. (Acceptance Rate: 21%) [ PDF | Talk ] ( Code Finalist for the SC reproducibility challenge (one of 3 papers))
Continue reading

OneOS: IoT Platform based on Posix and Actors

Kumseok Jung, Julien Gascon-Samson, Karthik Pattabiraman, Proceedings of the Usenix Workshop on Hot Topics in Edge Computing (HotEdge), 2019. [ PDF | Talk ] (Code)
Continue reading

BonVoision: Leveraging Spatial Data Smoothness for Recovery from Memory Soft Errors

Bo Fang, Hassan Halawa, Karthik Pattabiraman, Matei Ripeanu and Sriram Krishnamurthy, , Proceedings of the ACM International Conference on Supercomputing (ICS), 2019. (Acceptance Rate: 23.2 %). [ PDF | Talk ]
Continue reading

Design-Level and Code-Level Security Analysis of IoT Devices

Farid Molazem Tabrizi and Karthik Pattabiraman, ACM Transactions on Embedded Computing Systems (TECS). [ PDF ]. Awarded best paper of TECS 2020. Received significant news coverage (see below).
(This paper supercedes our ACSAC’16 paper.)
Continue reading

Failure Prediction in the Internet of Things due to Memory Exhaustion

Mohammad Rafiuzzaman, Julien Gascon-Samson, Karthik Pattabiraman, and Sathish Gopalakrishnan, Proceedings of the ACM/SIGAPP International Conference on Applied Computing (SAC), 2019. Dependable, Adaptive, Distributed Systems (DADS) Track. (Acceptance Rate: 27.5%) [ PDF | Talk ]
Continue reading

CORGIDS: A Correlation-based Generic Intrusion Detection System

Ekta Aggarwal, Mehdi Karimbuiki, Karthik Pattabiraman and Andre Ivanov, ACM International Workshop on Cyber-Physical Systems Security and Privacy (CPS-SPC), 2018, co-located with the ACM Conference on Computer and Communications Security (CCS), 2018. [ PDF | Talk Slides ]
Continue reading

TensorFI: A Configurable Fault Injector for TensorFlow Applications

Guanpeng Li, Karthik Pattabiraman, and Nathan DeBardeleben, Workshop on Software Certification (WoSoCER), 2018, co-located with the IEEE International Symposium on Software Reliability Engineering (ISSRE). 2018. [ PDF | Talk Slides ] (Code)
Continue reading

DynPolAC: Dynamic Policy-based Access Control for IoT Systems

Mehdi Karimi, Ekta Aggarwal, Karthik Pattabiraman, and Andre Ivanov, IEEE International Symposium on Dependable Computing (PRDC), 2018. (Acceptance Rate: 49%). [ PDF | Talk Slides ] (Code)
Continue reading

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezalean-Asel, Karthik Pattabiraman, European Conference on Object Oriented Programming (ECOOP), 2018. (Acceptance Rate: 39%). [ PDF | Talk | Poster ] (Code)
Continue reading

Modeling Soft-Error Propagation in Programs

Guanpeng Li, Karthik Pattabiraman, Siva Kumar Sastry Hari, Michael Sullivan, and Timothy Tsai. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018. (Acceptance Rate for Regular Papers: 25%) [ PDF | Talk ] (Link to Code) (Best Paper Runner up)
Continue reading