Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: TRX: a formally verified parser interpreter
Formal verification of a realistic compiler
Efficient Third-Order Dependency Parsers
Parsing Strategies With 'Lexicalized' Grammars: Application To Tree Adjoining Grammars
PRISM : Probabilistic Symbolic Model Checker ?
Tagless staged interpreters for typed languages
The Structure and Performance of Efficient Interpreters
A survey of recent advances in SAT-based formal verification
RuleBase: an industry-oriented formal verification tool
A verified compiler for an impure functional language
PRISM: A tool for automatic verification of probabilistic systems
Approaches to Interpreter Composition
QBF-Based Formal Verification: Experience and Perspectives
Nightmare at test time: How punctuation prevents parsers from generalizing
Formal memory models for verifying C systems code
Mop: an efficient and generic runtime verification framework
An executable formal semantics of C with applications
Extracting grammar from programs: brute force approach
Patterns in Property Specifications for Finite-State Verification
Bandera: a source-level interface for model checking Java programs
On different LL and LR parsers used in LLLR parsing
The role of visual feedback of hand position in the control of manual prehension
Improvements to the SMO algorithm for SVM regression
A Probabilistic Approach for Web Service Discovery
CIL: Intermediate language and tools for analysis and transformation of C programs
How Much to Trust Artificial Intelligence?