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
Category Archives: papers
TensorFI: A Configurable Fault Injector for TensorFlow Applications
Comments Off on TensorFI: A Configurable Fault Injector for TensorFlow Applications
Filed under papers
DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Mehdi Karimibiuki, Ekta Aggarwal, Karthik Pattabiraman, and Andre Ivanov, IEEE International Symposium on Dependable Computing (PRDC), 2018. (Acceptance Rate: 49%). [ PDF | Talk Slides ] (Code)
Continue reading
Comments Off on DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Filed under papers
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
Comments Off on ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Filed under papers
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
Comments Off on Modeling Soft-Error Propagation in Programs
Filed under papers
Modeling Input Dependent Error Propagation in Programs
Guanpeng Li and Karthik Pattabiraman, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018. (Acceptance Rate for Regular Papers: 25%) [PDF | Talk] (Link to Code)
Continue reading
Comments Off on Modeling Input Dependent Error Propagation in Programs
Filed under papers
Inferring Hierarchical Motifs from Execution Traces
Saba Alimadadi, Ali Mesbah, and Karthik Pattabiraman, ACM/IEEE International Conference on Software Engineering (ICSE), 2018. (Acceptance Rate: 21%). [ PDF | Talk ]
Comments Off on Inferring Hierarchical Motifs from Execution Traces
Filed under papers
ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments
Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman, Workshop on Middleware and Applications for the Internet of Things (m4IoT), co-held with the 2017 Middleware Conference. [ PDF | Talk ] (ThingsJS code)
Continue reading
Comments Off on ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments
Filed under papers
Detecting Unknown Inconsistencies in Web Applications
Frolin Ocariza, Karthik Pattabiraman, and Ali Mesbah, IEEE/ACM International Conference onAutomated Software Engineering (ASE), 2017. (Acceptance Rate: 21%) [ PDF | Talk ]
Continue reading
Comments Off on Detecting Unknown Inconsistencies in Web Applications
Filed under papers
Understanding Error Propagation in Deep-Learning Neural Networks (DNN) Accelerators and Applications
Guanpeng Li, Siva Hari, Michael Sullivan, Timothy Tsai, Karthik Pattabiraman, Joel Emer, Stephen Keckler, International Conference for High-Performance Computing, Networking, Storage and Analysis (SC), 2017. (Acceptance Rate: 19%) [PDF | Talk] (Injector code)
Chosen for IEEE Top Picks in Test and Reliability (TPTR), 2023.
Continue reading
Comments Off on Understanding Error Propagation in Deep-Learning Neural Networks (DNN) Accelerators and Applications
Filed under papers
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Maryam Raiyat Aliabadi, Amita Kamath, Julien Samson, and Karthik Pattabiraman. ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), 2017. (Acceptance Rate: 24%). [PDF | Talk]
Continue reading
Comments Off on ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Filed under papers
