Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: The abc Group Building the abc AspectJ compiler with Polyglot and Soot abc Technical Report No . abc-2004-4
An Overview of AspectJ
Design and evaluation of dynamic optimizations for a Java just-in-time compiler
Vortex: an optimizing compiler for object-oriented languages
Efficient JavaVM just-in-time compilation
An initial assessment of aspect-oriented programming
The paradoxical success of aspect-oriented programming
ACME: adaptive compilation made efficient
The KeY Platform for Verification and Analysis of Java Programs
Featherweight Java: a minimal core calculus for Java and GJ
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
A source-to-source compiler for generating dependable software
Making the future safe for the past: adding genericity to the Java programming language
JavaML: A Markup Language for Java Source Code
Cross-language compiler benchmarking: are we fast yet?
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Ontology Model-Based Static Analysis on Java Programs
Polyhedral Source-to-Source Compiler
Large-scale, AST-based API-usage analysis of open-source Java projects
Boogie: A modular reusable verifier for object-oriented programs
Testing Programs with the Aid of a Compiler
Learning rules for time series anomaly detection
Steganography and Steganalysis
An efficient method of computing static single assignment form
What We Know About ADHD and Driving Risk: A Literature Review, Meta-Analysis and Critique
Tight bounds for rumor spreading in graphs of a given conductance