ISMM C

15 papers

YearTitle / Authors
2010A graph theoretic approach to cache-conscious placement of data for direct mapped caches.
Mirza Omer Beg, Peter van Beek
2010CETS: compiler enforced temporal safety for C.
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
2010Collecting hollywood's garbage: avoiding space-leaks in composite events.
Tomas Petricek, Don Syme
2010Concurrent, parallel, real-time garbage-collection.
Fridtjof Siebert
2010Efficient memory shadowing for 64-bit architectures.
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
2010Improved replication-based incremental garbage collection for embedded systems.
Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
2010Memory, an elusive abstraction.
Peter Sewell
2010Optimizations in a private nursery-based garbage collector.
Todd A. Anderson
2010PHALANX: parallel checking of expressive heap assertions.
Martin T. Vechev, Eran Yahav, Greta Yorsh
2010Parametric inference of memory requirements for garbage collected languages.
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2010Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010
Jan Vitek, Doug Lea
2010Speculative parallelization using state separation and multiple value prediction.
Chen Tian, Min Feng, Rajiv Gupta
2010The economics of garbage collection.
Jeremy Singer, Richard E. Jones, Gavin Brown, Mikel Luján
2010The locality of concurrent write barriers.
Laurence Hellyer, Richard E. Jones, Antony L. Hosking
2010Tracing garbage collection on highly parallel platforms.
Katherine Barabash, Erez Petrank