Cargando…

Synthesizing JIT Compilers for In-Kernel DSLs

Modern operating systems allow user-space applications to submit code for kernel execution through the use of in-kernel domain specific languages (DSLs). Applications use these DSLs to customize system policies and add new functionality. For performance, the kernel executes them via just-in-time (JI...

Descripción completa

Detalles Bibliográficos
Autores principales: Van Geffen, Jacob, Nelson, Luke, Dillig, Isil, Wang, Xi, Torlak, Emina
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363179/
http://dx.doi.org/10.1007/978-3-030-53291-8_29