- A Survey of Modern Compiler Fuzzing
2023/06/12 by Haoyang Ma, Ma, Haoyang · 1 voice · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Compiler #Compiler construction #Compiler correctness #Computer science #Correctness #Fuzz testing #Interprocedural optimization #Loop optimization #Optimizing compiler #Programming language #Software #Software System Performance and Reliability #Software Testing and Debugging Techniques #Software engineering #cs.SE
- Whose baseline compiler is it anyway?
2023/05/22 by Ben L. Titzer, Titzer, Ben L. · 2 voices · 1 citation
Computer Science · #Baseline (sea) #Compile time #Compiler #Compiler correctness #Computer science #Heuristics #Interprocedural optimization #Just-in-time compilation #Loop optimization #Operating system #Optimizing compiler #Overhead (engineering) #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Software Engineering Research #Software System Performance and Reliability #Speedup
- Automated Code Optimization with E-Graphs
2021/12/26 by Alessandro Cheli, Cheli, Alessandro · 2 voices
Computer Science · Mathematics · #Code generation #Compiler #Compiler construction #Computer science #Distributed and Parallel Computing Systems #Domain (mathematical analysis) #Domain-specific language #Interprocedural optimization #Key (lock) #Logic, programming, and type systems #Loop optimization #Mathematics #Metaprogramming #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Programming language #Rewriting #Theoretical computer science #cs.PL #cs.SC
- Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode
2020/11/26 by Haoran Xu, Fredrik Kjolstad, Fredrik Kjølstad · 8 voices · 5 citations
Computer Science · Mathematics · #Bootstrapping (finance) #Bytecode #Code (set theory) #Code generation #Compiler #Computer science #Dead code elimination #Distributed and Parallel Computing Systems #Interprocedural optimization #Just-in-time compilation #Key (lock) #Logic, programming, and type systems #Loop optimization #Machine code #Mathematics #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Redundant code #Virtual machine #cs.PL
- Lost in translation: Exposing hidden compiler optimization opportunities
2019/03/25 by Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia +3 · 2 voices · 1 citation
Computer Science · #Advanced Neural Network Applications #Compiler #Compiler correctness #Computer architecture #Computer science #Embedded Systems Design Techniques #Interprocedural optimization #Just-in-time compilation #Loop optimization #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Program optimization #Programming language #cs.PL
- Engineering a Compiler
2012/01/01 · 2 citations
Computer Science · Engineering · #Compiler #Compiler construction #Compiler correctness #Computer science #Distributed and Parallel Computing Systems #Engineering #Interprocedural optimization #Loop optimization #Optimizing compiler #Parallel Computing and Optimization Techniques #Programming language #Software Engineering Research #Task (project management)
- Meta optimization
2003/05/09 by Mark W. Stephenson, Saman Amarasinghe, Martín Martín +1 · 2 citations
Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #Artificial intelligence #Compiler #Compiler construction #Compiler correctness #Computer science #Formal Methods in Verification #Heuristic #Heuristics #Interprocedural optimization #Loop optimization #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Register allocation #Set (abstract data type) #Speedup
- Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler
1999/12/01 by Yoshihiko Futamura · 3 citations
Computer Science · #Compiler #Compiler construction #Compiler correctness #Computer science #Interpreter #Interprocedural optimization #Logic, programming, and type systems #Loop optimization #Natural Language Processing Techniques #Optimizing compiler #Programming language #Semantics (computer science) #Software Engineering Research