Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: a verified staged interpreter is a verified compiler .
Tagless staged interpreters for typed languages
Formalizing the LLVM intermediate representation for verified program transformations
From Rewriting Logic, to Programming Language Semantics, to Program Verification
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging
Equality proofs and deferred type errors: a compiler pearl
Testing Programs with the Aid of a Compiler
Formal semantics and interpreters in a principles of programming languages course
Definitional interpreters for higher-order programming languages
Boogie: A modular reusable verifier for object-oriented programs
A language-independent proof system for full program equivalence
Mop: an efficient and generic runtime verification framework
Practical Formal Verification of Domain-Specific Language Applications
Don't sweat the small stuff: formal verification of C code without the pain
Psl model checking and run-time verification via testers
Formal memory models for verifying C systems code
An Introduction to Proving the Correctness of Programs
A Type-Based Compiler for Standard ML
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)
Compilers: Principles, Techniques, and Tools
An executable formal semantics of C with applications
Dependent types in practical programming
A modified gardner detector for multilevel PAM/QAM system
Generalizing Value Estimation over Timescale
A Proposition on Memes and Meta-Memes in Computing for Higher-Order Learning
Complex body size trends in the evolution of sloths (Xenarthra: Pilosa)