Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: A general path-based representation for predicting program properties
Predicting Program Properties from "Big Code"
From Rewriting Logic, to Programming Language Semantics, to Program Verification
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path
JFIX: semantics-based repair of Java programs via symbolic PathFinder
Modeling Soft-Error Propagation in Programs
Control-flow analysis of functional programs
Sound Abstraction and Decomposition of Probabilistic Programs
An Introduction to Proving the Correctness of Programs
Learning to Verify Safety Properties
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)
Automatic verification of probabilistic concurrent finite state programs
Automatically characterizing large scale program behavior
Dependence-based program analysis
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
A Systematic Survey of Program Comprehension through Dynamic Analysis
Semantics and Analysis of Instruction List Programs
Typestate-based semantic code search over partial programs
Boolean Programs: A Model and Process for Software Analysis
Aristotle: a system for development of program analysis based tools
A parameter-free hedging algorithm
Modeling snapback of LVTSCR devices for ESD circuit simulation using advanced BJT and MOS models
Efficient distribution of requests in federated cloud computing environments utilizing statistical multiplexing
Mining API patterns as partial orders from source code: from usage scenarios to specifications
Bi-objective scheduling algorithms for optimizing makespan and reliability on heterogeneous systems