Verified Compilation for Shared-Memory C-Reference-Cited by-同舟云学术

Verified Compilation for Shared-Memory C

Published:2014 Issue: Volume: Page:107-127
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Beringer Lennart,Stewart Gordon,Dockins Robert,Appel Andrew W.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-54833-8_7

Reference19 articles.

1. Appel, A.W., et al.: Program logics for certified compilers, Cambridge (2014)

2. Ahmed, A., Dreyer, D., Rossberg, A.: State-dependent representation independence. In: POPL (2009)

3. Lecture Notes in Computer Science;A.W. Appel,2011

4. Benton, N., Hur, C.-K.: Biorthogonality, step-indexing and compiler correctness. In: ICFP, New York, pp. 97–108 (2009)

5. Benton, N., Hur, C.-K.: Realizability and compositional compiler correctness for a polymorphic language. Tech. Report MSR-TR-2010-62, Microsoft Research (2010)

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

1. Refinement Composition Logic;Proceedings of the ACM on Programming Languages;2024-08-15

2. ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions;Journal of Systems Architecture;2024-02

3. SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification;Journal of Systems Architecture;2024-02

4. Memory Simulations, Security and Optimization in a Verified Compiler;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

5. DimSum: A Decentralized Approach to Multi-language Semantics and Verification;Proceedings of the ACM on Programming Languages;2023-01-09