Karthik Pattabiraman

Softw. Pract. Exp., March, 2023

Fault Injection for TensorFlow Applications.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2023

Error Propagation Analysis for Multithreaded Programs: An Empirical Approach.

[BibT_eX]

[DOI]

CoRR, 2023

ICS-Sniper: A Targeted Blackhole Attack on Encrypted ICS Traffic.

[BibT_eX]

[DOI]

CoRR, 2023

Structural Coding: A Low-Cost Scheme to Protect CNNs from Large-Granularity Memory Faults.

[BibT_eX]

[DOI]

Ali Asgari Khoshouyeh

Proceedings of the International Conference for High Performance Computing, 2023

A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2023

Evaluating the Effect of Common Annotation Faults on Object Detection Techniques.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Resilience Assessment of Large Language Models under Transient Hardware Faults.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

EdgeEngine: A Thermal-Aware Optimization Framework for Edge Inference.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM Symposium on Edge Computing, 2023

AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities.

[BibT_eX]

[DOI]

Asem Ghaleb

Julia Rubin

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Hot Under the Hood: An Analysis of Ambient Temperature Impact on Heterogeneous Edge Platforms.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Edge Systems, Analytics and Networking, 2023

SwarmFuzz: Discovering GPS Spoofing Attacks in Drone Swarms.

[BibT_eX]

[DOI]

Yingao Elaine Yao

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

Beyond Detection: Securing Robotic Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Towards Reliability Assessment of Systolic Arrays against Stuck-at Faults.

[BibT_eX]

[DOI]

Ali Asgari Khoshouyeh

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Jujutsu: A Two-stage Defense against Adversarial Patch Attacks on Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

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

[BibT_eX]

[DOI]

Behrooz Sangchoolie

Johan Karlsson

IEEE Trans. Dependable Secur. Comput., 2022

Improving the Accuracy of IR-Level Fault Injection.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

Replay-based Recovery for Autonomous Robotic Vehicles from Sensor Deception Attacks.

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

Rui Xi

Proceedings of the IEEE International Conference on Software Analysis, 2022

eTainter: detecting gas-related vulnerabilities in smart contracts.

[BibT_eX]

[DOI]

Asem Ghaleb

Julia Rubin

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

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

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

$\pi$-Configurator: Enabling Efficient Configuration of Pipelined Applications on the Edge.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE/ACM International Conference on Internet-of-Things Design and Implementation, 2022

Poster: EdgeShell - A language for composing edge applications.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM Symposium on Edge Computing, 2022

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

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM Symposium on Edge Computing, 2022

Towards Building Resilient Ensembles against Training Data Faults.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

The Fault in Our Data Stars: Studying Mitigation Techniques against Faulty Training Data in Machine Learning Applications.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Poster: May the Swarm Be With You: Sensor Spoofing Attacks Against Drone Swarms.

[BibT_eX]

[DOI]

Yingao Elaine Yao

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Poster AutoPatch: Automatic Hotpatching of Real-Time Embedded Devices.

[BibT_eX]

[DOI]

Mohsen Salehi

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

ThingsMigrate: Platform-independent migration of stateful JavaScript Internet of Things applications.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2021

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

[BibT_eX]

[DOI]

Mehdi Karimibiuki

DTRAP, 2021

Characterizing and Improving the Resilience of Accelerators in Autonomous Robots.

[BibT_eX]

[DOI]

CoRR, 2021

Turning Your Strength against You: Detecting and Mitigating Robust and Universal Adversarial Patch Attack.

[BibT_eX]

[DOI]

CoRR, 2021

ReLUSyn: Synthesizing Stealthy Attacks for Deep Neural Network Based Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Understanding the Resilience of Neural Network Ensembles against Faulty Training Data.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Are you for Real? Authentication in Dynamic IoT Systems.

[BibT_eX]

[DOI]

Mehdi Karimibiuki

André Ivanov

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

(WiP) LLTFI: Low-Level Tensor Fault Injector.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Towards a Safety Case for Hardware Fault Tolerance in Convolutional Neural Networks Using Activation Range Supervision.

[BibT_eX]

[DOI]

Florian Geissler

Syed Sha Qutub

Sayanta Roychowdhury

Ali Asgari Khoshouyeh

Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

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

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM Symposium on Edge Computing, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM Symposium on Edge Computing, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM Symposium on Edge Computing, 2021

TF-DM: Tool for Studying ML Model Resilience to Data Faults.

[BibT_eX]

[DOI]

Niranjhana Narayanan

Proceedings of the 3rd IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2021

Snowflakes at the Edge: A Study of Variability among NVIDIA Jetson AGX Xavier Boards.

[BibT_eX]

[DOI]

Proceedings of the EdgeSys@EuroSys 2021: 4th International Workshop on Edge Systems, 2021

Fourth International Workshop on Dependable and Secure Machine Learning - DSML 2021.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

PID-Piper: Recovering Robotic Vehicles from Physical Attacks.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

Ranger: Boosting Error Resilience of Deep Neural Networks through Range Restriction.

[BibT_eX]

[DOI]

CoRR, 2020

GPU-trident: efficient modeling of error propagation in GPU programs.

[BibT_eX]

[DOI]

Siva Kumar Sastry Hari

Proceedings of the International Conference for High Performance Computing, 2020

How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection.

[BibT_eX]

[DOI]

Asem Ghaleb

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

How Far Have We Come in Detecting Anomalies in Distributed Systems? An Empirical Study with a Statement-level Fault Injection Method.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

New Wine in an Old Bottle: N-Version Programming for Machine Learning Components.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Error Resilient Machine Learning for Safety-Critical Systems: Position Paper.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on On-Line Testing and Robust System Design, 2020

TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

Third International Workshop on Dependable and Secure Machine Learning - DSML 2020.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2019

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

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

<i>BinFI</i>: an efficient fault injector for safety-critical machine learning systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2019

Failure prediction in the internet of things due to memory exhaustion.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A Tale of Two Injectors: End-to-End Comparison of IR-Level and Assembly-Level Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

BonVoision: leveraging spatial data smoothness for recovery from memory soft errors.

[BibT_eX]

[DOI]

Sriram Krishnamoorthy

Proceedings of the ACM International Conference on Supercomputing, 2019

OneOS: IoT Platform based on POSIX and Actors.

[BibT_eX]

[DOI]

Proceedings of the 2nd USENIX Workshop on Hot Topics in Edge Computing, 2019

Towards Predicting the Impact of Roll-Forward Failure Recovery for HPC Applications.

[BibT_eX]

[DOI]

Sriram Krishnamoorthy

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Out of control: stealthy attacks against robotic vehicles protected by control-based techniques.

[BibT_eX]

[DOI]

Mehdi Karimibiuki

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Guest Editors' Introduction: Special Issue on Data-Driven Dependability and Security.

[BibT_eX]

[DOI]

Domenico Cotroneo

Antonio Pecchia

IEEE Trans. Dependable Secur. Comput., 2018

DynPolAC: Dynamic Policy-Based Access Control for IoT Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

TensorFI: A Configurable Fault Injector for TensorFlow Applications.

[BibT_eX]

[DOI]

Nathan DeBardeleben

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Inferring hierarchical motifs from execution traces.

[BibT_eX]

[DOI]

Saba Alimadadi

Proceedings of the 40th International Conference on Software Engineering, 2018

Demo: ThingsMigrate - Platform-Independent Live-Migration of JavaScript Processes.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM Symposium on Edge Computing, 2018

Poster: Towards a Distributed and Self-Adaptable Cloud-Edge Middleware.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM Symposium on Edge Computing, 2018

ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Modeling Soft-Error Propagation in Programs.

[BibT_eX]

[DOI]

Siva Kumar Sastry Hari

Michael B. Sullivan

Timothy Tsai

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Modeling Input-Dependent Error Propagation in Programs.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

DSML 2018 Introduction.

[BibT_eX]

[DOI]

Homa Alemzadeh

David E. Evans

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

CORGIDS: A Correlation-based Generic Intrusion Detection System.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, 2018

2017

A Study of Causes and Consequences of Client-Side JavaScript Bugs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Configurable Detection of SDC-causing Errors in Programs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

ARTINALI: dynamic invariant detection for cyber-physical system security.

[BibT_eX]

[DOI]

Maryam Raiyat Aliabadi

Amita Ajith Kamath

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Understanding error propagation in deep learning neural network (DNN) accelerators and applications.

[BibT_eX]

[DOI]

Siva Kumar Sastry Hari

Proceedings of the International Conference for High Performance Computing, 2017

SmartJS: dynamic and self-adaptable runtime middleware for next-generation IoT systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017

ThingsJS: towards a flexible and self-adaptable middleware for dynamic and heterogeneous IoT environments.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Middleware and Applications for the Internet of Things, 2017

Detecting unknown inconsistencies in web applications.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

LetGo: A Lightweight Continuous Framework for HPC Applications Under Failures.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on High-Performance Parallel and Distributed Computing, 2017

One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors.

[BibT_eX]

[DOI]

Behrooz Sangchoolie

Johan Karlsson

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016

A Systematic Methodology for Evaluating the Error Resilience of GPGPU Applications.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

Understanding JavaScript Event-Based Interactions with Clematis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2016

Error Detector Placement for Soft Computing Applications.

[BibT_eX]

[DOI]

Anna Thomas

ACM Trans. Embed. Comput. Syst., 2016

Automatic fault localization for client-side JavaScript.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

Understanding error propagation in GPGPU applications.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2016

FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools.

[BibT_eX]

[DOI]

Maryam Raiyat Aliabadi

Proceedings of the Computer Safety, Reliability, and Security, 2016

Atrina: Inferring Unit Oracles from GUI Test Cases.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Understanding asynchronous interactions in full-stack JavaScript.

[BibT_eX]

[DOI]

Saba Alimadadi

Proceedings of the 38th International Conference on Software Engineering, 2016

Finding Resilience-Friendly Compiler Optimizations Using Meta-Heuristic Search Techniques.

[BibT_eX]

[DOI]

Nithya Narayanamurthy

Matei Ripeanu

Proceedings of the 12th European Dependable Computing Conference, 2016

SDC is in the Eye of the Beholder: A Survey and Preliminary Study.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

ePVF: An Enhanced Program Vulnerability Factor Methodology for Cross-Layer Resilience Analysis.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Formal security analysis of smart embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

Guided Mutation Testing for JavaScript Web Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Characterizing the Impact of Intermittent Hardware Faults on Programs.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2015

LLFI: An Intermediate Code-Level Fault Injection Tool for Hardware Faults.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Intrusion Detection System for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Symposium of the 16th International Middleware Conference, 2015

LED: Tool for Synthesizing Web Element Locators.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Synthesizing Web Element Locators (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Experience report: An application-specific checkpointing technique for minimizing checkpoint corruption.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

JSEFT: Automated Javascript Unit Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Detecting Inconsistencies in JavaScript MVC Applications.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th European Dependable Computing Conference, 2015

Hybrid DOM-Sensitive Change Impact Analysis for JavaScript.

[BibT_eX]

[DOI]

Saba Alimadadi

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Fine-Grained Characterization of Faults Causing Long Latency Crashes in Programs.

[BibT_eX]

[DOI]

Qining Lu

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Modular protections against non-control data attacks.

[BibT_eX]

[DOI]

J. Comput. Secur., 2014

Mining questions asked by web developers.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Dompletion: DOM-aware JavaScript code completion.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Failure Prediction of Jobs in Compute Clouds: A Google Cluster Case Study.

[BibT_eX]

[DOI]

Xin Chen

Charng-Da Lu

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Failure Analysis of Jobs in Compute Clouds: A Google Cluster Case Study.

[BibT_eX]

[DOI]

Xin Chen

Charng-Da Lu

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Soft-LLFI: A Comprehensive Framework for Software Fault Injection.

[BibT_eX]

[DOI]

Maryam Raiyat Aliabadi

Nematollah Bidokhti

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

GPU-Qin: A methodology for evaluating the error resilience of GPGPU applications.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Symposium on Performance Analysis of Systems and Software, 2014

Vejovis: suggesting fixes for JavaScript faults.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Understanding JavaScript event-based interactions.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

A Model-Based Intrusion Detection System for Smart Meters.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Quantifying the Accuracy of High-Level Fault Injection Techniques for Hardware Faults.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Evaluating the Error Resilience of Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Hardware-Software Integrated Diagnosis for Intermittent Hardware Faults.

[BibT_eX]

[DOI]

Majid Dadashi

Leonardo Arturo Bautista-Gomez

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

GPGPUs: How to combine high computational power with high reliability.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

SDCTune: A model for predicting the SDC proneness of an application for configurable protection.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Compilers, 2014

2013

SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework.

[BibT_eX]

[DOI]

Nithin Nakka

Zbigniew T. Kalbarczyk

IEEE Trans. Computers, 2013

PYTHIA: Generating test cases with oracles for JavaScript applications.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Efficient JavaScript Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

An Empirical Study of Client-Side JavaScript Bugs.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Error detector placement for soft computation.

[BibT_eX]

[DOI]

Anna Thomas

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Predicting job completion times using system logs in supercomputing clusters.

[BibT_eX]

[DOI]

Xin Chen

Charng-Da Lu

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

Efficient Runtime Detection and Toleration of Asymmetric Races.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2012

Poster: Evaluating Error Resiliency of GPGPU Applications.

[BibT_eX]

[DOI]

Proceedings of the 2012 SC Companion: High Performance Computing, 2012

Abstract: Evaluating Error Resiliency of GPGPU Applications.

[BibT_eX]

[DOI]

Proceedings of the 2012 SC Companion: High Performance Computing, 2012

Intermittent Hardware Errors Recovery: Modeling and Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

BLOCKWATCH: Leveraging similarity in parallel programs for error detection.

[BibT_eX]

[DOI]

Jiesheng Wei

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

A model for security analysis of smart meters.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis.

[BibT_eX]

[DOI]

Giacinto Paolo Saggese

Daniel Chen

IEEE Trans. Dependable Secur. Comput., 2011

Automated Derivation of Application-Aware Error Detectors Using Static Analysis: The Trusted Illiac Approach.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2011

JavaScript Errors in the Wild: An Empirical Study.

[BibT_eX]

[DOI]

Benjamin G. Zorn

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Comparing the effects of intermittent and transient hardware faults on programs.

[BibT_eX]

[DOI]

Jiesheng Wei

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Flikker: saving DRAM refresh-power through critical data partitioning.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Modeling the Propagation of Intermittent Hardware Faults in Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing.

[BibT_eX]

[DOI]

Benjamin G. Zorn

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Towards understanding the effects of intermittent hardware faults on programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

2009

Automated Derivation of Application-Aware Error and Attack Detectors

[BibT_eX]

[DOI]

PhD thesis, 2009

Discovering Application-Level Insider Attacks Using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Emerging Challenges for Security, 2009

Detecting and tolerating asymmetric races.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Second workshop on Compiler and Architectural Techniques for Application Reliability and Security (CATARS).

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

An end-to-end approach for the automatic derivation of application-aware error detectors.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Samurai: protecting critical data in unsafe languages.

[BibT_eX]

[DOI]

Vinod Grover

Benjamin G. Zorn

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Workshop on compiler and architectural techniques for application reliability and security (CATARS).

[BibT_eX]

[DOI]

Shuo Chen

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

Toward Application-Aware Security and Reliability.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2007

Automated Derivation of Application-aware Error Detectors using Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International On-Line Testing Symposium (IOLTS 2007), 2007

Processor-Level Selective Replication.

[BibT_eX]

[DOI]

Nithin Nakka

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Dynamic Derivation of Application-Specific Error Detectors and their Implementation in Hardware.

[BibT_eX]

[DOI]

Giacinto Paolo Saggese

Daniel Chen

Proceedings of the Sixth European Dependable Computing Conference, 2006

2005

Application-Based Metrics for Strategic Placement of Detectors.

[BibT_eX]

[DOI]