Facilitating the Bootstrapping of a New ISA-Reference-Cited by-同舟云学术

Facilitating the Bootstrapping of a New ISA

Published:2023-06-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
language:
Short-container-title:

Author:

Mortensen Abigail¹,Pomerville Scott²,Whalley David¹,Onder Soner²,Uh Gang-Ryung¹

Affiliation:

1. Florida State University, USA

2. Michigan Technological University, USA

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

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

Reference11 articles.

1. [n. d.]. LLVM bugpoint tool: design and usage. https://llvm.org/docs/Bugpoint.html [n. d.]. LLVM bugpoint tool: design and usage. https://llvm.org/docs/Bugpoint.html

2. 2019-2023. Statically Controlled Asynchronous Lane Execution (SCALE) Project . In Division of Computing and Communication Foundations (CCF) . National Science Foundation Grants CCF- 1900 788 and CCF- 1901005. 2019-2023. Statically Controlled Asynchronous Lane Execution (SCALE) Project. In Division of Computing and Communication Foundations (CCF). National Science Foundation Grants CCF-1900788 and CCF-1901005.

3. A. Pnueli , M. Siegel , and F. Singerman . 1998 . Translation Validation. In Proceedings of TACAS ’98 . 151–166 pages. A.Pnueli, M. Siegel, and F. Singerman. 1998. Translation Validation. In Proceedings of TACAS ’98. 151–166 pages.

4. An approach to functional testing of VLIW architectures

5. M. R. Boyd and D. B. Whalley . 1993. Isolation and Analysis of Optimization Errors . In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation. 26–35 . M. R. Boyd and D. B. Whalley. 1993. Isolation and Analysis of Optimization Errors. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation. 26–35.