Tag Archives: journal

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Kumseok Jung, Julien Gascon-Samson, Shivanshu Goyal, Armin Rezalean-Asel, and Karthik Pattabiraman, To appear in the Journal of Software Practice and Experience (SPE). [ PDF ]
Continue reading

Comments Off on ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

Filed under papers

An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Behrooz Sangchoolie, Karthik Pattabiraman and Johan Karlsson, To appear in the IEEE Transactions on Dependable and Secure Computing (TDSC). [ PDF ]
Continue reading

Comments Off on An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Filed under papers

Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Pritam Dash, Mehdi Karimibuiki, and Karthik Pattabiraman, To appear in the ACM Journal on Digital Threats: Research and Practice (DTRAP). Acceptance Date: August 2020. [ PDF ]
Continue reading

Comments Off on Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

Filed under papers

Improving the Accuracy of IR-Level Fault Injection

Lucas Palazzi, Guanpeng Li, Bo Fang, and Karthik Pattabiraman, IEEE Transactions on Dependable and Secure Computing (TDSC). (Acceptance date: March 2020). [PDF] (Code)
Continue reading

Comments Off on Improving the Accuracy of IR-Level Fault Injection

Filed under papers

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 (ECE Story). Received significant news coverage (below).
(This paper supercedes our ACSAC’16 paper.)
Continue reading

Comments Off on Design-Level and Code-Level Security Analysis of IoT Devices

Filed under papers

Configurable Detection of SDC-Causing Errors in Programs

Qining Lu, Guanpeng Li, Karthik Pattabiraman, Meeta Gupta and Jude Rivers, ACM Transactions on Embedded Computing Systems (TECS). [ PDF ]
Continue reading

Comments Off on Configurable Detection of SDC-Causing Errors in Programs

Filed under papers

A Systematic Methodology for Evaluating the Error Resilience of GPGPU Applications

Bo Fang, Karthik Pattabiraman, Matei Ripeanu and Sudhanva Gurumurthi, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2016. [ PDF ]
Continue reading

Comments Off on A Systematic Methodology for Evaluating the Error Resilience of GPGPU Applications

Filed under papers

Understanding JavaScript Event-Based Interactions with Clematis

Saba Alimadadi, Sheldon Sequeira, Ali Mesbah and Karthik Pattabiraman, ACM Transactions on Software Engineering and Methodology (TOSEM), 2015. [ PDF ]
Continue reading

Comments Off on Understanding JavaScript Event-Based Interactions with Clematis

Filed under papers

Error Detector Placement for Soft-Computing Applications

Anna Thomas and Karthik Pattabiraman, ACM Transactions on Embedded Computing (TECS). [ PDF ]
Continue reading

Comments Off on Error Detector Placement for Soft-Computing Applications

Filed under papers

Automatic Fault Localization for Client-Side JavaScript

Frolin Ocariza, Guanpeng Li, Karthik Pattabiraman and Ali Mesbah, Journal of Software Testing, Verification and Reliability (STVR). [ PDF ]
Continue reading

Comments Off on Automatic Fault Localization for Client-Side JavaScript

Filed under papers