Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Compile-time reflection and metaprogramming for Java
Featherweight Java: a minimal core calculus for Java and GJ
BIT: A Tool for Instrumenting Java Bytecodes
Metaprogramming in Oberon
Evaluating the accuracy of Java profilers
Symbolic PathFinder: symbolic execution of Java bytecode
Dynamic symbolic execution for polymorphism
Optimizing Java Bytecode using the Soot Framework: Is it Feasible?
Bandera: a source-level interface for model checking Java programs
Reverse Engineering of Design Patterns from Java Source Code
Calysto: scalable and precise extended static checking
Javalanche: efficient mutation testing for Java
Static and dynamic analysis of call chains in java
The class-level mutants of MuJava
Towards automatically generating summary comments for Java methods
MuJava: a mutation system for java
High performance JAVA programming
Exceptionization: A Java VM Optimization for Non-Java Languages
An Overview of AspectJ
the role of type equality in meta - programming .
Multi-stage programming with explicit annotations
Simple Type-Theoretic Foundations for Object-Oriented Programming
AC: composable asynchronous IO for native languages
A One-Year Perspective on Exposed In-memory Key-Value Stores
The potential of Internet of m-health Things “m-IoT” for non-invasive glucose level sensing
Brain Tumor Segmentation Based on Refined Fully Convolutional Neural Networks with A Hierarchical Dice Loss