Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
SVF: interprocedural static value-flow analysis in LLVM
A study of source-level compiler algorithms for automatic construction of pre-execution code
bin2llvm: Analysis of Binary Programs Using LLVM Intermediate Representation
The LLVM compiler framework and infrastructure tutorial
Feedback-Directed Optimizations in GCC with Estimated Edge Profiles from Hardware Event Sampling
Design and evaluation of a compiler algorithm for prefetching
Efficient execution of memory access phases using dataflow specialization
Optimizing direct threaded code by selective inlining
Taming undefined behavior in LLVM
The OoO VLIW JIT Compiler for GPU Inference
Compiler optimization-space exploration
Array Data Flow Analysis for Load-Store Optimizations in Fine-Grain Architectures
Formalizing the LLVM intermediate representation for verified program transformations
Automated just-in-time compiler tuning
TIL: a type-directed optimizing compiler for ML
Future Directions for Optimizing Compilers
Automatic Intra-Register Vectorization for the Intel® Architecture
BeBoP: A cost effective predictor infrastructure for superscalar value prediction
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging
Towards Continuous and Passive Authentication via Touch Biometrics: An Experimental Study on Smartphones
A Comparison of Named Entity Recognition Tools Applied to Biographical Texts
Semantic memory and the brain: structure and processes
Reducing food losses by intelligent food logistics
Formal verification of a realistic compiler