Synthesizing JIT Compilers for In-Kernel DSLs.

Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak

Browse the full CAV paper archive.