Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Polyhedral Source-to-Source Compiler
LLVM: a compilation framework for lifelong program analysis & transformation
Automated just-in-time compiler tuning
Compiler optimization-space exploration
Learning to Prioritize Test Programs for Compiler Testing
The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction
C and tcc: a language and compiler for dynamic code generation
polly - performing polyhedral optimizations on a low - level intermediate representation .
MILEPOST GCC: machine learning based research compiler
A verified compiler for an impure functional language
A fast Fourier transform compiler (with retrospective)
Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation
Improving high level synthesis optimization opportunity through polyhedral transformations
A stencil compiler for short-vector SIMD architectures
an incremental approach to compiler construction .
POET: a scripting language for applying parameterized source-to-source program transformations
Black-Box Equivalence Checking Across Compiler Optimizations
A compiler-level intermediate representation based binary analysis and rewriting system
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
High-Performance Compilers for Parallel Computing
When polyhedral transformations meet SIMD code generation
A Comprehensive Survey on Particle Swarm Optimization Algorithm and Its Applications
coherent spatiotemporal filtering , upsampling and rendering of rgbz videos .
An ISO Compliant and Integrated Model for IT GRC (Governance, Risk Management and Compliance)
automated empirical optimizations of software and the atlas project .
An integrated framework on mining logs files for computing system management