symMMU: symbolically executed runtime libraries for symbolic memory access.

Anthony Romano Dawson R. Engler

Published in: ASE (2014)

Keyphrases

memory access
data access
main memory
external memory
shared memory
access patterns
memory hierarchy
memory management
processing units
cache misses
high volume
multimedia
information systems
operating system
database management systems
data sources
data structure