• SpaceLang
  • SL for heap space usage
  • GC-aware
  • call-by-reference
  • Implement in Iris

POPL 2022

  • λ-SpaceLang
  • Closures
  • Improvements to rules
  • Also in Iris

POPL 2022

POPL 2023