Skip to content

Verified just-in-time compiler on x86.

Magnus O. Myreen

VenueA*POPL
Year2010
ProceedingsPOPL

Browse the full POPL paper archive.