Login / Signup
Formally verified speculation and deoptimization in a JIT compiler.
Aurèle Barrière
Sandrine Blazy
Olivier Flückiger
David Pichardie
Jan Vitek
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
java virtual machine
industry standard
programming language
highly optimized
website
software systems
virtual machine
data sets
neural network
machine learning
knowledge base
multiscale