Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: A Retargetable Optimizing Java-to-C Compiler for Embedded Systems
Harissa: A flexible and efficient Java environment mixing bytecode and compiled code
Symbolic PathFinder: symbolic execution of Java bytecode
Formalisation and analysis of Dalvik bytecode
CoreDet: a compiler and runtime system for deterministic multithreaded execution
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
Self-evaluating compilation applied to loop unrolling
EdgeMiner: Automatically Detecting Implicit Control Flow Transitions through the Android Framework
Joeq: a virtual machine and compiler infrastructure
CPR: cross platform binary code reuse via platform independent trace program
MILEPOST GCC: machine learning based research compiler
Automatic generation of peephole superoptimizers
Interprocedural dataflow analysis in an executable optimizer
C: a language for high-level, efficient, and machine-independent dynamic code generation
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Aspect-Oriented Instrumentation with GCC
Language-independent sandboxing of just-in-time compilation and self-modifying code
Meta optimization: improving compiler heuristics with machine learning
Black-Box Equivalence Checking Across Compiler Optimizations
Three control flow obfuscation methods for Java software
Learning compiler design as a research activity
The Design And Analysis Of Computer Algorithms
A 2.5-8Gb/s transceiver with 5-tap DFE and Second order CDR against 28-inch channel and 5000ppm SSC in 40nm CMOS technology
Asynchronous Distributed Semi-Stochastic Gradient Optimization
Financing Policy, Basis Risk, and Corporate Hedging: Evidence from Oil and Gas Producers
Packaging a $W$ -Band Integrated Module With an Optimized Flip-Chip Interconnect on an Organic Substrate