Derek Dreyer - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Sun 28 Sep 2014

Name:Derek Dreyer

Country:Germany

Affiliation:MPI-SWS

Personal website: http://www.mpi-sws.org/~dreyer

Contributions

2024

POPL

PLMW

O'Hearn Fest

Later Credits: A Case Study in the Unreasonable Effectiveness of Separation Logic

Show activities from other conferences

POPL 2024-profile
View general profile

	
		OSZAR »