Cool Projects


  • Jalangi: A concolic testing, symbolic execution, record-replay, and dynamic analysis framework for JavaScript
  • CodeHint: CodeHint is a smart auto-completion and code synthesis tool.
  • SwiftHand: An automated GUI testing tool for Android apps.
  • CORVETTE: Correctness, Verification, and Testing of Parallel Programs
  • CalFuzzer: An active random testing tool for multi-threaded Java. See our ASE 07, PLDI 08, FSE 08, PLDI 09, CAV 09, FSE 09, FSE 10, ISSTA 11, SC’11, ICS’13 papers.
  • CATG (A new Java Concolic Testing Tool), CREST, jCUTE, CUTE and DART: Combining concrete and symbolic analysis to test sequential and parallel C and Java programs. See our PLDI 05, FSE 05, FASE 06, HVC 06, CAV 06, ISSTA 07, ICSE 07, ASE 08 papers.
  • Par Lab Parallel Computing Laboratory. Press 1 Press 2 Press 3 Press 4


  • Eagle, JMPaX, and DIANA: Runtime Monitoring Techniques and Tools for Sequential, Concurrent, and Distributed Systems.
  • VESTA: Statistical and Probabilistic Model Checker and Analyzer for Probabilistic Systems.
  • LEVER: Learning to Verify — Application of machine learning to automatically verify infinite state systems.