%0 Conference Paper %1 conf/cav/GeffenNDWT20 %A Geffen, Jacob Van %A Nelson, Luke %A Dillig, Isil %A Wang, Xi %A Torlak, Emina %B CAV (2) %D 2020 %E Lahiri, Shuvendu K. %E Wang, Chao %I Springer %K dblp %P 564-586 %T Synthesizing JIT Compilers for In-Kernel DSLs. %U http://dblp.uni-trier.de/db/conf/cav/cav2020-2.html#GeffenNDWT20 %V 12225 %@ 978-3-030-53291-8

@inproceedings{conf/cav/GeffenNDWT20, added-at = {2023-08-19T00:00:00.000+0200}, author = {Geffen, Jacob Van and Nelson, Luke and Dillig, Isil and Wang, Xi and Torlak, Emina}, biburl = {https://www.bibsonomy.org/bibtex/2cd147ed3cdf19f6d1183e1e379b80fd2/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2020-2}, editor = {Lahiri, Shuvendu K. and Wang, Chao}, ee = {https://doi.org/10.1007/978-3-030-53291-8_29}, interhash = {545d02cacf7c3a5c2d48b32380004766}, intrahash = {cd147ed3cdf19f6d1183e1e379b80fd2}, isbn = {978-3-030-53291-8}, keywords = {dblp}, pages = {564-586}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:20:58.000+0200}, title = {Synthesizing JIT Compilers for In-Kernel DSLs.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2020-2.html#GeffenNDWT20}, volume = 12225, year = 2020 }