Semantic reasoning about the sea of nodes-Reference-Cited by-同舟云学术

Semantic reasoning about the sea of nodes

Published:2018-02-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th International Conference on Compiler Construction
language:
Short-container-title:

Author:

Demange Delphine¹,Fernández de Retana Yon¹,Pichardie David¹

Affiliation:

1. Univ Rennes, France / Inria, France / CNRS, France / IRISA, France

Publisher

ACM

Link

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

Reference24 articles.

1. Formal Verification of an SSA-Based Middle-End for CompCert

2. Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. In Proc. of COCV'05 (ENTCS);Blech J.O.;Elsevier,2005

3. Verified Construction of Static Single Assignment Form. In Proc. of CC'16;Buchwald S.;ACM,2016

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

1. GraalSP: Polyglot, efficient, and robust machine learning-based static profiler;Journal of Systems and Software;2024-07

2. Hyperblock Scheduling for Verified High-Level Synthesis;Proceedings of the ACM on Programming Languages;2024-06-20

3. Compiling with Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-06-20

4. Translation Validation for JIT Compiler in the V8 JavaScript Engine;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. Differential Testing of a Verification Framework for Compiler Optimizations (Case Study);2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05