During the course of research, we have developed and released the following software.

Machine and Deep Learning for Programs

• Bandit AFL: Greybox fuzzing as a contextual bandits problem
  For technical details, see the technical report.
• DeepFix: Fixing common C language errors by deep learning
  For technical details, see our AAAI'17 paper.
• CoderAssist: Semi-supervised verified feedback generation for programming assignments 
  For technical details, see our FSE'16 paper.
• MintHint: Automated synthesis of repair hints 
  For technical details, see our ICSE'14 paper.
• MathFinder: Math API discovery and migration 
  For technical details, see our FASE'13 and TOSEM'14 papers.

Concurrency and Distribution

• Symbolic simulation and test generation for Matlab Simulink/Stateflow 
  For technical details, see our EMSOFT'08 and CAV'09 papers.
• SPOTS: A system for proving optimizing transformations sound 
  For technical details, see our SEFM'06, ENTCS'07 and SPE'09 papers.