TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
ASPLOS
2010
ACM
13 years 11 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
EUROSYS
2007
ACM
14 years 1 months ago
2007
ACM
Virtual memory has been successfully used in diļ¬erent domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
OSDI
2006
ACM
14 years 4 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...