Just Fast Keying in the Pi Calculus
Abstract elided by the publisher.
Related papers
- Fast, Effective Code Generation in a Just-In-Time Java Compiler PLDI 1998
- A bisimulation for type abstraction and recursion POPL 2005
- A calculus for hardware description JFP 2011
- Residual Theory in lambda-Calculus: A Formal Development JFP 1994
- Fast Mu-Calculus Model Checking when Tree-Width Is Bounded CAV 2003
- Sticky tries: fast insertions, fast lookups, no deletions for large key universes ISMM 2014
- Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator PLDI 2011
- Proteus: Portable Runtime Optimization of GPU Kernel Execution with Just-in-Time Compilation CGO 2025