Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: On Validity of Program Transformations in the Java Memory Model
the java memory model : operationally , denotationally , axiomatically .
Formal Specification with the Java Modeling Language
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
An Implementation of Scoped Memory for Real-Time Java
MuJava: a mutation system for java
Falcon: fault localization in concurrent programs
An Introduction to Proving the Correctness of Programs
How java programs interact with virtual machines at the microarchitectural level
Better static memory management: improving region-based analysis of higher-order languages
Behavioral consistency of C and Verilog programs using bounded model checking
A type and effect system for deterministic parallel Java
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
Exceptionization: A Java VM Optimization for Non-Java Languages
A Runtime Assertion Checker for the Java Modeling Language (JML)
CMC: a pragmatic approach to model checking real code
The Java Virtual Machine Specification
A user-guided approach to program analysis
The garbage collection advantage: improving program locality
Boogie: A modular reusable verifier for object-oriented programs
Bandera: extracting finite-state models from Java source code
Automated Abdominal Multi-Organ Segmentation With Subject-Specific Atlas Generation
predicting the analysis of heart disease symptoms using medicinal data mining methods .
Categories for the working mathematician: making the impossible possible
Network-based fire-detection system via controller area network for smart home automation
geo - parsing messages from microtext .