Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Formal verification of a realistic compiler
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
Formalizing the LLVM intermediate representation for verified program transformations
A source-to-source compiler for generating dependable software
Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler
Learning to Prioritize Test Programs for Compiler Testing
Compilers: Principles, Techniques, and Tools
A Survey of Automated Techniques for Formal Software Verification
A Practical Methodology for the Formal Verification of RISC Processors
A certified type-preserving compiler from lambda calculus to assembly language
Psl model checking and run-time verification via testers
Black-Box Equivalence Checking Across Compiler Optimizations
CMC: a pragmatic approach to model checking real code
CASPER: Compiler-Assisted Securing of Programs at Runtime
From Rewriting Logic, to Programming Language Semantics, to Program Verification
A Compiler for Deterministic, Decomposable Negation Normal Form
Mop: an efficient and generic runtime verification framework
Vortex: an optimizing compiler for object-oriented languages
An Evaluation of Vectorizing Compilers
Formal verification of higher-order probabilistic programs
Specification and Verification of Concurrent Programs by forall-Automata
Redundancy on Demand-Extending the Coverage Area of Terrestrial Broadcast via Broadband Networks
Exploring word Mover's distance and semantic-aware embedding techniques for extractive broadcast news summarization
StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks
Meta-analysis of mandibular distraction osteogenesis: clinical applications and functional outcomes.
Biometric perils and patches