Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Pipelined Java Virtual Machine Interpreters
Efficient JavaVM just-in-time compilation
Impact of JIT/JVM optimizations on JAVA application performance
Symbolic PathFinder: symbolic execution of Java bytecode
Formalisation and analysis of Dalvik bytecode
K-Java: A Complete Semantics of Java
TruffleC: dynamic execution of C on a Java virtual machine
ViSiMIPS: Visual simulator of MIPS32 pipelined processor
Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation
Visualizing the Execution of Java Programs
RockJIT: Securing Just-In-Time Compilation Using Modular Control-Flow Integrity
Coverage-directed differential testing of JVM implementations
AJANA: A General Framework for Source-Code-Level Interprocedural Dataflow Analysis of AspectJ Software
The KeY Platform for Verification and Analysis of Java Programs
Java performance evaluation through rigorous replay compilation
SpaceJMP: Programming with Multiple Virtual Address Spaces
Featherweight Java: a minimal core calculus for Java and GJ
Polyglot: An Extensible Compiler Framework for Java
A Portable Programming Interface for Performance Evaluation on Modern Processors
Evaluation of Android Dalvik virtual machine
Practical partial evaluation for high-performance dynamic language runtimes
Why Buy When You Can Rent ? Bribery Attacks on Bitcoin-Style Consensus
design of research buddy : personalized research paper recommendation system .
The Java Programming Language
geometry and texture recovery of scenes of large scale .
Rectangular spiral microstrip antenna for WLAN application