ISMM 2010

14 papers

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