kirancodes.me
To Proof Maintenance & Beyond!
Venues / ISMM /

ISMM 2017

12 papers

  1. "What's in a name?" going beyond allocation site names in heap analysis · Vini Kanvar, Uday P. Khedker
  2. A marshalled data format for pointers in relocatable data blocks · Nick Vrvilo, Lechen Yu, Vivek Sarkar
  3. A refinement hierarchy for free list memory allocators · Bin Fang, Mihaela Sighireanu
  4. Analyzing memory management methods on integrated CPU-GPU systems · Mohammad Dashti, Alexandra Fedorova
  5. Avoiding consistency exceptions under strong memory models · Minjia Zhang, Swarnendu Biswas, Michael D. Bond
  6. Bridging the gap between memory performance and massive parallelism: the critical role of programming systems innovations (keynote) · Xipeng Shen
  7. Continuous checkpointing of HTM transactions in NVM · Ellis Giles, Kshitij A. Doshi, Peter J. Varman
  8. Flexible and efficient memory object metadata · Zhengyang Liu, John Criswell
  9. NG2C: pretenuring garbage collection with dynamic generations for HotSpot big data applications · Rodrigo Bruno, Luís Picciochi Oliveira, Paulo Ferreira
  10. RTHMS: a tool for data placement on hybrid memory system · Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Pietro Cicotti, Erwin Laure, Stefano Markidis
  11. Shadow state encoding for efficient monitoring of block-level properties · Kostyantyn Vorobyov, Julien Signoles, Nikolai Kosmatov
  12. Type-assisted automatic garbage collection for lock-free data structures · Albert Mingkun Yang, Tobias Wrigstad