Garbage collection for monitoring parametric properties
No abstract available.
Related papers
- Parametric inference of memory requirements for garbage collected languages ISMM 2010
- Fully concurrent garbage collection of actors on many-core machines OOPSLA 2013
- Symbolic Monitoring Against Specifications Parametric in Time and Data CAV 2019
- Parametric heap usage analysis for functional programs ISMM 2009
- Sound, complete, and tractable linearizability monitoring for concurrent collections POPL 2018
- CRGC: Fault-Recovering Actor Garbage Collection in Pekko PLDI 2025
- Parametric Trace Slicing and Monitoring TACAS 2009
- Monitoring Parametric Temporal Logic VMCAI 2014