Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,179,431 papers from all fields of science
Search
Sign In
Create Free Account
Compiler correctness
In computing, compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
9 relations
CompCert
Compiler
Correctness (computer science)
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
The next 700 compiler correctness theorems (functional pearl)
Daniel Patterson
,
A. Ahmed
Proc. ACM Program. Lang.
2019
Corpus ID: 198986185
Compiler correctness is an old problem, with results stretching back beyond the last half-century. Founding the field, John…
Expand
Highly Cited
2015
Highly Cited
2015
The Correctness-Security Gap in Compiler Optimization
V. D'Silva
,
Mathias Payer
,
D. Song
IEEE Security and Privacy Workshops
2015
Corpus ID: 15273142
There is a significant body of work devoted to testing, verifying, and certifying the correctness of optimizing compilers. The…
Expand
Highly Cited
2015
Highly Cited
2015
Many-core compiler fuzzing
Christopher Lidbury
,
Andrei Lascu
,
Nathan Chong
,
A. Donaldson
PLDI
2015
Corpus ID: 16275420
We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers…
Expand
Highly Cited
2015
Highly Cited
2015
Pilsner: a compositionally verified compiler for a higher-order imperative language
Georg Neis
,
C. Hur
,
Jan-Oliver Kaiser
,
Craig McLaughlin
,
Derek Dreyer
,
Viktor Vafeiadis
ICFP
2015
Corpus ID: 11412872
Compiler verification is essential for the construction of fully verified software, but most prior work (such as CompCert) has…
Expand
Highly Cited
2009
Highly Cited
2009
Biorthogonality, step-indexing and compiler correctness
Nick Benton
,
C. Hur
ICFP
2009
Corpus ID: 4231406
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the…
Expand
Highly Cited
2007
Highly Cited
2007
A certified type-preserving compiler from lambda calculus to assembly language
A. Chlipala
PLDI '07
2007
Corpus ID: 2942865
We present a certified compiler from the simply-typed lambda calculus to assembly language. The compiler is certified in the…
Expand
1996
1996
Verification of Compiler Correctness for the WAM
C. Pusch
TPHOLs
1996
Corpus ID: 10815018
Relying on an derivation of the Warren Abstract Machine (WAM) by stepwise refinement of Prolog models by Borger and Rosenzweig we…
Expand
1996
1996
Compiler Correctness for Concurrent Languages
D. Gladstein
,
M. Wand
COORDINATION
1996
Corpus ID: 774930
The goal of my thesis is to extend current methods for compiler derivation and verification to languages which exhibit true…
Expand
Highly Cited
1995
Highly Cited
1995
The WAM - Definition and Compiler Correctness
E. Börger
,
D. Rosenzweig
Logic Programming: Formal Methods and Practical…
1995
Corpus ID: 6361365
This paper provides a mathematical analysis of the Warren Abstract Machine for executing Prolog and a correctness proof for a…
Expand
1994
1994
Proving WAM compiler correctness
P. Schmitt
1994
Corpus ID: 59121569
In this note we analyse the proof of compiler correctness of the WAM given in the paper BB orger and Rosenzweig 92] with regard…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE