SPLASH 2022 (series) / Derek Dreyer

Registered user since Sun 28 Sep 2014
Contributions
SPLASH 2022 | Finding real bugs in big programs with incorrectness logic | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Registered user since Sun 28 Sep 2014
Contributions
SPLASH 2022 | Finding real bugs in big programs with incorrectness logic | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |