Reducing Lookups for Invariant Checking
Abstract elided by the publisher.
Related papers
- Loop-aware optimizations in PyPy's tracing JIT DLS 2012
- Optimizing Method Search with Lookup Caches and Incremental Coloring OOPSLA 1992
- Improving data access efficiency by using a tagless access buffer (TAB) CGO 2013
- Efficient lookup-table protocol in secure multiparty computation ICFP 2012
- Efficient Multiple and Predicated Dispatching OOPSLA 1999
- Progress in Certifying Hardware Model Checking Results CAV 2021
- Predicate abstraction for software verification POPL 2002
- Correctness of Java Card Method Lookup via Logical Relations ESOP 2000