Towards a verified range analysis for JavaScript JITs-Reference-Cited by-同舟云学术

Towards a verified range analysis for JavaScript JITs

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Brown Fraser¹,Renner John²,Nötzli Andres¹,Lerner Sorin²,Shacham Hovav³,Stefan Deian²

Affiliation:

1. Stanford University, USA

2. University of California at San Diego, USA

3. University of Texas at Austin, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3385412.3385968

Reference133 articles.

1. 18 .23 FJCVTZS. http://infocenter.arm.com/help/index.jsp?topic= /com.arm.doc.dui0801g/hko1477562192868.html. 18.23 FJCVTZS. http://infocenter.arm.com/help/index.jsp?topic= /com.arm.doc.dui0801g/hko1477562192868.html.

2. Bug 1027510. https://bugzilla.mozilla.org/show_bug.cgi?id=1027510. Bug 1027510. https://bugzilla.mozilla.org/show_bug.cgi?id=1027510.

3. Bug 1493900. https://bugs.webkit.org/show_bug.cgi?id=1493900. Bug 1493900. https://bugs.webkit.org/show_bug.cgi?id=1493900.

4. Bug 1595329. https://bugzilla.mozilla.org/show_bug.cgi?id=1595329. Bug 1595329. https://bugzilla.mozilla.org/show_bug.cgi?id=1595329.

5. Bug 185694. https://bugs.webkit.org/show_bug.cgi?id=185694. Bug 185694. https://bugs.webkit.org/show_bug.cgi?id=185694.

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

1. Speeding up SMT Solving via Compiler Optimization;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler;Proceedings of the ACM on Programming Languages;2023-01-09

3. Compiler Testing using Template Java Programs;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10

4. Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02

5. Of JavaScript AOT compilation performance;Proceedings of the ACM on Programming Languages;2021-08-22