We have released the following software in our group. All of these are under a BSD/MIT/Illinois license. We ask that you cite the relevant papers if you use any of our software in your research. Please contact me if you want access to something not listed here. Our Github organization is DependableSystemsLab.

Fault Injectors and Error Resilience

  • LLFI – LLVM Based Fault Injector
  • PINFI – PIN Based Fault Injector
  • GPU-Qin – Fault Injector for GPUs
  • CrashFinder – Identify Long Latency Crashes through Static Analysis
  • Recov – Find locations to minimize checkpoint corruptions
  • LLFI-GPU – LLVM Based Fault Injector for GPUs
  • DNNFI – Fault injector for Deep Learning Neural Network Accelerator Platforms
  • LLFI-IPA – LLVM Based Fault Propagation Analysis for Multi-threaded Programs
  • Trident/vTrident – Analytical modeling for estimation of SDC Rates of Programs
  • TensorFI – Fault Injection for TensorFlow Applications
  • LetGo – Roll-forward error recovery for parallel programs’ crashes
  • CrashRateEstimator – Estimating crash rate of programs from IR-level injection
  • SolidiFI – Fault Injector for Solidity Smart Contracts
  • GPU-Trident – Analytical model to estimate SDC rate for GPU kernels
  • SSFI – Statement Level Fault Injector for Java Programs
  • Ranger – Error Correction for Deep Neural Network (DNN) Applications

Web applications

  • Holocron – Inconsistency detection Tool for JavaScript MVC Applications
  • Sahand – Understanding JavaScript client-server asynchronous interactions
  • Sabalan – Extracting Motifs from dynamic web application traces
  • LED – DOM element locator synthesis
  • Aurebesh – Static Analysis for AngularJS applications
  • ToChal – Change Impact Analysis for JavaScript
  • Vejovis – Automatic Fix Generator for DOM-JavaScript Faults
  • Clematis – DOM Event JavaScript code understanding
  • Dompletion – Code completion support for DOM-Javascript interactions
  • Mutandis – Mutation Testing tool for JavaScript Applications
  • AutoFLox – Automatic Fault Localizer DOM-JavaScript Faults
  • BugAnalyzer – Bug Report Analyzer for JavaScript Based Web Applications



  • PCMeetingDashboard – A web application for PC meetings that interfaces with HotCRP. We developed it for the DSN’19 PC meeting, but it was also used in HPDC’19, DSN’20, DSN’21 PC meetings.