GPS: navigating weak memory with ghosts, protocols, and separation

Article Details
Title:	GPS: navigating weak memory with ghosts, protocols, and separation
Article URLs:	https://doi.org/10.1145/2660193.2660243
Alternative Article URLs:
Authors:	Aaron Turon	Max Planck Institute for Software Systems
	Viktor Vafeiadis	Max Planck Institute for Software Systems
	Derek Dreyer	Max Planck Institute for Software Systems
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://plv.mpi-sws.org/gps/ https://dl.acm.org/ft_gateway.cfm?id=2660243&type=zip&path=%2F2670000%2F2660243%2Fsupp%2Foopsla186%2E5%2Ezip&supp=1&dwn=1 https://dl.acm.org/ft_gateway.cfm?id=2660243&type=txt&path=%2F2670000%2F2660243%2Fsupp%2Foopsla186%2E5%2Etxt&supp=1&dwn=1
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/oopsla/TuronVD14
Author Comments:

ACM SIGPLAN Intl. Conf. on OO Programming, Systems, Langs., and Apps., OOPSLA 2014