Synthesizing JIT compilers for in-kernel DSLs

DOI10.1007/978-3-030-53291-8_29MaRDI QIDQ2226758zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 9 February 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-53291-8_29

zbMATH Keywords

just-in-time compilationsymbolic executionsynthesis

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of operating systems (68N25)

Recommendations

• Verified just-in-time compiler on x86
• A self-certifying compilation framework for WebAssembly
• From program verification to program synthesis
• Certifying compilation and run-time code generation
• A verifiable SSA program representation for aggressive compiler optimization

Cited in

(1)

• Approximate bit dependency analysis to identify program synthesis problems as infeasible

This page was built for publication: Synthesizing JIT compilers for in-kernel DSLs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2226758)