Tracking Heaps That Hop with Heap-Hop
No abstract available.
Related papers
- An interpreter for server-side hop DLS 2011
- Reasoning about Web Applications: An Operational Semantics for HOP TOPLAS 2012
- Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs OOPSLA 2024
- Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters PLDI 2022
- A glimpse of Hopjs ICFP 2016
- A fast compiler for NetKAT ICFP 2015
- Dynamic property caches: a step towards faster JavaScript proxy objects CC 2020
- Modeling heap data growth using average liveness ISMM 2014