Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: tail call elimination on the java virtual machine .
The Java Virtual Machine Specification
Interprocedural static slicing of binary executables
Joeq: a virtual machine and compiler infrastructure
Future Directions for Optimizing Compilers
A region-based compilation technique for dynamic compilers
EdgeMiner: Automatically Detecting Implicit Control Flow Transitions through the Android Framework
an empirical study of java dynamic call graph extractors .
LLVM: An Infrastructure for Multi-Stage Optimization
MuJava: a mutation system for java
A certified type-preserving compiler from lambda calculus to assembly language
Three control flow obfuscation methods for Java software
JFIX: semantics-based repair of Java programs via symbolic PathFinder
From Trash to Treasure: Timing-Sensitive Garbage Collection
A lambda calculus of objects and method specialization
A memory-efficient real-time non-copying garbage collector
Polyglot: An Extensible Compiler Framework for Java
Evaluating the accuracy of Java profilers
Language-independent sandboxing of just-in-time compilation and self-modifying code
Compiler techniques for code compaction
Microkernels Meet Recursive Virtual Machines
Deep Graph Infomax
Efficient Mining of Emerging Patterns: Discovering Trends and Differences
Pizza into Java : Translating theory into practice
Imiquimod in dermatology: an overview.
Trainable frontend for robust and far-field keyword spotting