Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Precision Performance Surgery for PostgreSQL: LLVM-based Expression Compilation, Just in Time
Efficiently Compiling Efficient Query Plans for Modern Hardware
Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation
Evaluation of skyline algorithms in PostgreSQL
MILEPOST GCC: machine learning based research compiler
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
Automatic generation of peephole superoptimizers
DunceCap: Compiling Worst-Case Optimal Query Plans
DBToaster: A SQL Compiler for High-Performance Delta Processing in Main-Memory Databases
Query Processing and Optimization in Modern Database Systems
Future Directions for Optimizing Compilers
A formally verified compiler for Lustre
LifeJacket: verifying precise floating-point optimizations in LLVM
A region-based compilation technique for dynamic compilers
Practical partial evaluation for high-performance dynamic language runtimes
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code
Peephole Optimization Technique for analysis and review of Compiler Design and Construction
Design and evaluation of dynamic optimizations for a Java just-in-time compiler
Managing Expressions as Data in Relational Database Systems
TIL: a type-directed optimizing compiler for ML
Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages
SIMD-Scan: Ultra Fast in-Memory Table Scan using on-Chip Vector Processing Units
Active Terahertz Imaging Using Schottky Diodes in CMOS: Array and 860-GHz Pixel
Unravelling the effects of the environment and host genotype on the gut microbiome
Multiple Auxiliary Information Based Deep Model for Collaborative Filtering
stereoscopic depth cameras .