Login / Signup

Formally verified speculation and deoptimization in a JIT compiler.

Aurèle BarrièreSandrine BlazyOlivier FlückigerDavid PichardieJan 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