Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: LifeJacket: verifying precise floating-point optimizations in LLVM
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
LLVM: a compilation framework for lifelong program analysis & transformation
bin2llvm: Analysis of Binary Programs Using LLVM Intermediate Representation
Taming undefined behavior in LLVM
Formalizing the LLVM intermediate representation for verified program transformations
Enforcing forward-edge control-flow integrity in GCC & LLVM
The LLVM compiler framework and infrastructure tutorial
Floating-point symbolic execution: A case study in N-version programming
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving
Black-Box Equivalence Checking Across Compiler Optimizations
Interprocedural dataflow analysis in an executable optimizer
Peephole Optimization Technique for analysis and review of Compiler Design and Construction
A formally verified compiler for Lustre
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
Vortex: an optimizing compiler for object-oriented languages
Design and evaluation of dynamic optimizations for a Java just-in-time compiler
Feedback-Directed Optimizations in GCC with Estimated Edge Profiles from Hardware Event Sampling
TIL: a type-directed optimizing compiler for ML
The OoO VLIW JIT Compiler for GPU Inference
Compiling with Continuations and LLVM
Mapping cortical change across the human life span
Pursuing Differentiated Services in a SDN-Based IoT-Oriented Pub/Sub System
Thidiazuron-induced high-frequency direct shoot organogenesis of Cannabis sativa L.
3D Scanning: A Comprehensive Survey
The SLAM project: debugging system software via static analysis