Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: bin2llvm: Analysis of Binary Programs Using LLVM Intermediate Representation
LLVM: a compilation framework for lifelong program analysis & transformation
discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code
Compiler-Agnostic Function Detection in Binaries
Down to the bare metal: using processor features for binary analysis
Dynamically Translating x86 to LLVM using QEMU
PEBIL: Efficient static binary instrumentation for Linux
VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification
Automatic Reverse Engineering of Data Structures from Binary Execution
Angr - The Next Generation of Binary Analysis
Taming undefined behavior in LLVM
Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes
Securing untrusted code via compiler-agnostic binary rewriting
An Improved Method on Static Binary Analysis to Enhance the Context-Sensitive CFI
When Coding Style Survives Compilation: De-anonymizing Programmers from Executable Binaries
Valgrind: a framework for heavyweight dynamic binary instrumentation
Compiling with Continuations and LLVM
Affine Parallelization Using Dependence and Cache Analysis in a Binary Rewriter
Binhunt: Automatically finding semantic differences in binary programs
Peephole Optimization Technique for analysis and review of Compiler Design and Construction
A user-guided approach to program analysis
Deep Fried Convnets
Appliance recognition and unattended appliance detection for energy conservation
Self-Emulsifying Drug Delivery Systems (SEDDS) in Pharmaceutical Development
Generalized vulnerability extrapolation using abstract syntax trees
NoSQL evaluation: A use case oriented survey