Saving Space by Fully Exploiting Invisible Transitions
Abstract elided by the publisher.
Related papers
- Invisible Invariants and Abstract Interpretation SAS 2011
- Automatic Deductive Verification with Invisible Invariants TACAS 2001
- Liveness with Invisible Ranking VMCAI 2004
- IIV: An Invisible Invariant Verifier CAV 2005
- Fully Verified Instruction Scheduling OOPSLA 2024
- Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement CGO 2003
- Heap Profiling for Space-Efficient Java PLDI 2001
- A compiler framework for extracting superword level parallelism PLDI 2012