researchr - search publication compiler verification

researchr

You are not signed in
Sign in
Sign up

223 publication results matching 'compiler verification'

A Formally Verified Compiler Back-end
… for programming the compiler and for proving its soundness. Such a verified … of critical software: the verification of the compiler guarantees that the safety …This article describes the development and formal verification (proof …
Xavier Leroy. JAR, 43(4):363-446, 2009. [doi]
Bringing extensibility to verified compilers
… Verified compilers, such as Leroy’s CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed … by bridging the gap between compiler verification and compiler extensibility …
Zachary Tatlock, Sorin Lerner. PLDI 2010: 111-121 [doi]
Compiler Verification and Compiler ArchitectureGerhard Goos. ENTCS, 65(2):1, 2002. [doi]
Formal verification of a realistic compiler
… for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of critical software and its formal verification: the verification of the compiler guarantees that the safety properties proved …
Xavier Leroy. CACM, 52(7):107-115, 2009. [doi]
Compiler Verification in LFJohn Hannan, Frank Pfenning. lics 1992: 407-418
Compiler verification: a bibliographyMaulik A. Dave. sigsoft, 28(6):2, 2003. [doi]
A verified compiler for an impure functional language
… We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler … challenge area in past compiler verification projects, with much more effort …
Adam J. Chlipala. POPL 2010: 93-106 [doi]
Compiling and Verifying Security ProtocolsFlorent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. lpar 2000: 131-160 [doi]
Mechanized Semantics for Compiler VerificationXavier Leroy. aplas 2012: 386-388 [doi]
Mechanized Semantics for Compiler VerificationXavier Leroy. CPP 2012: 4-6 [doi]
Compiler verification for fun and profitXavier Leroy. FMCAD 2014: 9 [doi]
Axiomatic semantics for compiler verificationSteven Schäfer, Sigurd Schneider, Gert Smolka. CPP 2016: 188-196 [doi]
Pushing the Limits of Compiler VerificationEric Mullen. PhD thesis, University of Washington, USA, 2018. [doi]
Verification of CompilersGerhard Goos, Wolf Zimmermann. BIRTHDAY 1999: 201-230 [doi]
Compiler Specification and VerificationWolfgang Pollak. Volume 124 of Lecture Notes in Computer Science, Springer, 1981.
Theory of compiler specification and verificationWolfgang Polak. PhD thesis, Stanford University, USA, 1980. [doi]
On the Role of Non-functional Properties in Compiler VerificationJens Knoop, Wolf Zimmermann. ISoLA 2010: 491-495 [doi]
Compiler verification in the context of pervasive system verificationDirk Carsten Leinenbach. PhD thesis, Saarland University, 2008. [doi]
Lutsig: a verified Verilog compiler for verified circuit developmentAndreas Lööw. CPP 2021: 46-60 [doi]
Verification of Compiler Correctness for the WAMCornelia Pusch. tphol 1996: 347-361

Sign in or sign up to see more results.

runs on WebDSL