Derek Dreyer - SPLASH 2014

Registered user since Sun 28 Sep 2014

Name: Derek Dreyer

Affiliation: MPI-SWS

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

Contributions

SPLASH 2014	Author of GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation within the OOPSLA-track Presenter of GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation within the OOPSLA Artifacts-track
Show activities from other conferences

SPLASH 2014-profile
View general profile