Probfuzz - tool (FSE 2018): https://github.com/uiuc-arc/probfuzz
Probfuzz - database of bugs (FSE 2018): https://github.com/uiuc-arc/probfuzz-db
PSense (ATVA 2018): https://psense.info/
AxProf (ICSE 2019): https://github.com/uiuc-arc/AxProf
Storm (FSE 2019): https://github.com/uiuc-arc/storm-framework
Parallely (OOPLSA 2019): https://github.com/uiuc-arc/parallely
Flash (ISSTA 2020): https://github.com/uiuc-arc/flash
Koord (OOPSLA 2020): https://cyphyhouse.github.io/downloads.html
ApproxTuner (PPoPP 2021): https://publish.illinois.edu/hpvm-project/software/
Statheros (DAC 2021): https://github.com/uiuc-arc/Statheros
TERA (ISSTA 2021): https://github.com/uiuc-arc/tera
FLEX (FSE 2021): https://github.com/uiuc-arc/flex
AQUA (ATVA 2021): https://github.com/uiuc-arc/AQUA
DeepJ (POPL 2022): https://github.com/uiuc-arc/DeepJ
SixthSense (FASE 2022): https://github.com/uiuc-arc/SixthSense
XSeed (ICST 2022): https://github.com/uiuc-arc/xseed
FANC (OOPSLA 2022): https://github.com/uiuc-arc/FANC
AbstractAD (OOPSLA 2022): https://github.com/uiuc-arc/AbstractAD