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

ISMM 2013

12 papers

  1. A bloat-aware design for big data applications · Yingyi Bu, Vinayak R. Borkar, Guoqing Xu, Michael J. Carey
  2. ACDC: towards a universal mutator for benchmarking heap management systems · Martin Aigner, Christoph M. Kirsch
  3. Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector · Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki
  4. Analyzing memory ownership patterns in C libraries · Tristan Ravitch, Ben Liblit
  5. Control theory for principled heap sizing · David Robert White, Jeremy Singer, Jonathan M. Aitken, Richard E. Jones
  6. Elephant tracks: portable production of complete and precise gc traces · Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss
  7. Generating sound and effective memory debuggers · Yan Wang, Iulian Neamtiu, Rajiv Gupta
  8. Pacman: program-assisted cache management · Jacob Brock, Xiaoming Gu, Bin Bao, Chen Ding
  9. Precise and scalable context-sensitive pointer analysis via value flow graph · Lian Li, Cristina Cifuentes, Nathan Keynes
  10. Rigorous benchmarking in reasonable time · Tomas Kalibera, Richard E. Jones
  11. Safety-first approach to memory consistency models · Madanlal Musuvathi
  12. Towards hinted collection: annotations for decreasing garbage collector pause times · Philip Reames, George C. Necula