External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler

Aurèle Barrière, Sandrine Blazy, David Pichardie. Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler. Proceedings of the ACM on Programming Languages, 7(POPL):249-277, January 2023. [doi]

Authors

Aurèle Barrière

This author has not been identified. Look up 'Aurèle Barrière' in Google

Sandrine Blazy

This author has not been identified. Look up 'Sandrine Blazy' in Google

David Pichardie

This author has not been identified. Look up 'David Pichardie' in Google
runs on