Sound Loop Superoptimization for Google Native Client-Reference-Cited by-同舟云学术

Sound Loop Superoptimization for Google Native Client

Published:2017-04-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Churchill Berkeley¹,Sharma Rahul²,Bastien JF¹,Aiken Alex¹

Affiliation:

1. Stanford University, Stanford, CA, USA

2. Microsoft Research India, Bangalore, India

Funder

Defense Advanced Research Projects Agency

National Science Foundation

Publisher

ACM

Link

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

Reference46 articles.

1. Chrome rewards. https://www.google.com/about/appsecurity/chrome-rewards/. Accessed: Aug 2016. Chrome rewards. https://www.google.com/about/appsecurity/chrome-rewards/. Accessed: Aug 2016.

2. Formal Verification of Backward Compatibility of Microcode

3. Dynamo

4. WYSINWYX

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

1. Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18

2. Automated Property Directed Self Composition;Automated Technology for Verification and Analysis;2023

3. Automatic Generation of Debug Headers through BlackBox Equivalence Checking;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02

4. HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22

5. Computing summaries of string loops in C for better testing and refactoring;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08