Registered user since Sun 28 Sep 2014

Name: Derek Dreyer

Affiliation: MPI-SWS

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

SPLASH 2014 Activities

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