Datasets:

• DatalogBench: benchmark suite for interpretable rule learning


• ChiselBench: benchmark suite for C/C++ program debloating

Software:

• ProSynth: tool for synthesizing Datalog programs using constraint solving (POPL 2020)


• Difflog: tool for synthesizing Datalog programs using numerical relaxation (IJCAI 2019)


• Code2Inv: deep learning framework for program verification (NIPS 2018 and CAV 2020)


• Metal: meta-learning framework for syntax-guided program synthesis (ICLR 2019)


• Chisel: automated system for debloating C/C++ programs (CCS 2018)


• Euphony: probabilistic model guided program synthesizer (PLDI 2018)


• APISan: tool for checking API usage based on semantic anomaly detection (Usenix Security 2016)


• Nichrome: solver for mixed hard and soft constraints


• SQLtutor: browser-based tool for teaching and learning SQL


• Dynodroid: automated input generation tool for Android apps (FSE 2013)


• Acteve: dynamic symbolic execution engine for Android apps (FSE 2012)


• Chord: extensible program analysis framework for Java programs


• CalFuzzer: randomized testing tool for concurrent Java programs (CAV 2009)


• CBI: statistical debugging framework for C programs (PLDI 2005)