Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Reverse Engineering of Dynamic Parallel Program Behavior from Execution Traces
Pin: building customized program analysis tools with dynamic instrumentation
KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
PinOS: a programmable framework for whole-system dynamic instrumentation
Whole program path-based dynamic impact analysis
Programmable Reverse Engineering
Spectre Attacks: Exploiting Speculative Execution
Demand-driven compositional symbolic execution
Dependence-based program analysis
Evaluating Symbolic Execution-Based Test Tools
Improving SIMD Parallelism via Dynamic Binary Translation
Interprocedural dataflow analysis in an executable optimizer
Symbolic execution of programmable logic controller code
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Symbolic execution for software testing in practice: preliminary assessment
Non-intrusive performance profiling for entire software stacks based on the flow reconstruction principle
Critical path analysis for the execution of parallel and distributed programs
Automatically characterizing large scale program behavior
InputFinder: Reverse Engineering Closed Binaries using Hardware Performance Counters
Studies of Windows NT Performance using Dynamic Execution Traces
EDDIE: EM-Based Detection of Deviations in Program Execution
Color edge detection with the compass operator
Attribute-Based Access Control with Efficient Revocation in Data Outsourcing Systems
Electronically Reconfigurable Uniplanar Antenna With Polarization Diversity for Cognitive Radio Applications
Open-Loop Rate Control for adaptive video streaming
Joint Named Entity Recognition and Stance Detection in Tweets.