research
∙
04/20/2023
Leveraging Static Analysis for Bug Repair
We propose a method combining machine learning with a static analysis to...
share
research
∙
12/06/2022
Formally Verified Native Code Generation in an Effectful JIT – or: Turning the CompCert Backend into a Formally Verified JIT Compiler
Modern Just-in-Time compilers (or JITs) typically interleave several mec...
research
∙
07/20/2021
