Synthesizing JIT Compilers for In-Kernel DSLs-Reference-Cited by-同舟云学术

Synthesizing JIT Compilers for In-Kernel DSLs

Published:2020 Issue: Volume: Page:564-586
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

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

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_29

Reference42 articles.

1. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 2006

2. Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2011

3. Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2014

4. Bansal, S., Aiken, A.: Automatic generation of peephole superoptimizers. In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) [1], pp. 394–403 (2006)

5. Bansal, S., Aiken, A.: Binary translation using peephole superoptimizers. In: Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), San Diego, CA, pp. 177–192, December 2008

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. BRF: Fuzzing the eBPF Runtime;Proceedings of the ACM on Software Engineering;2024-07-12

2. FPGA Technology Mapping Using Sketch-Guided Program Synthesis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

3. Whose Baseline Compiler is it Anyway?;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02

4. End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT;Lecture Notes in Computer Science;2024

5. Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15