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

Aaron Turon Viktor Vafeiadis Derek Dreyer

Published in: OOPSLA (2014)

Keyphrases

memory usage
memory space
application level
memory requirements
data sets
computational power
urban environments
security protocols
memory size
low memory
distributed databases
location information
wifi