Login / Signup

Relaxing safely: verified on-the-fly garbage collection for x86-TSO.

Peter GammieAntony L. HoskingKai Engelhardt
Published in: PLDI (2015)
Keyphrases
  • garbage collection
  • flash memory
  • memory management
  • space efficient
  • database
  • storage systems
  • java virtual machine