Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

Not registered as user yet

Name: David Naumann

Affiliation: Stevens Institute of Technology

Personal website: http://www.cs.stevens.edu/~naumann/

Contributions

ISMM 2020Author of Verified Sequential Malloc/Free within the ISMM 2020-track
Show activities from other conferences

PLDI 2020-profile
View general profile