SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
SPLASH 2022 (series) / Derek Dreyer
Derek Dreyer

Registered user since Sun 28 Sep 2014

Name:Derek Dreyer
Country:Germany
Affiliation:MPI-SWS
Personal website:http://www.mpi-sws.org/~dreyer

Contributions

SPLASH 2022 Proving Hypersafety Compositionally
Mentor in Mentors within the PLMW-track
BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
Session Chair of Semantics and Security (part of OOPSLA)
Finding real bugs in big programs with incorrectness logic
Show activities from other conferences

SPLASH 2022-profile
View general profile