- Large Language Models for Compiler Optimization
2023/09/11 by Chris Cummins, Cummins, Chris, Volker Seeker +20 · 2 voices · 24 citations
Computer Science · #Artificial intelligence #Code (set theory) #Code generation #Compiler #Computer science #Language model #Machine learning #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Program optimization #Programming language #Scratch #Set (abstract data type) #Software Engineering Research #Software Testing and Debugging Techniques #Suite #Test case #Test suite #Transformer #cs.AI #cs.CL #cs.LG #cs.PL
- Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs
2021/11/25 by Thomas Koehler, Phil Trinder, Koehler, Thomas +3 · 5 citations
Computer Science · #Algorithm #Compiler #Computer science #FOS: Computer and information sciences #Graph #Logic, programming, and type systems #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Performance (cs.PF) #Programming Languages (cs.PL) #Programming language #Rewriting #Sketch #Software Engineering Research #Theoretical computer science #cs.PF #cs.PL
- BOLT: A Practical Binary Optimizer for Data Centers and Beyond
2018/07/18 by Maksim Panchenko, Panchenko, Maksim, Rafael Auler +5 · 3 voices · 13 citations
Computer Science · #Advanced Data Storage Technologies #Binary number #Cloud Computing and Resource Management #Code (set theory) #Code generation #Compiler #Computation #Computer science #Context (archaeology) #Key (lock) #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Profiling (computer programming) #Program optimization #Programming language #Set (abstract data type) #Source code #cs.PL
- Equality saturation
2009/01/20 by Ross Tate, Michael Stepp, Zachary Tatlock +1 · 191 citations
Computer Science · Mathematics · #Algorithm #Artificial intelligence #Compiler #Computer science #Formal Methods in Verification #Heuristic #Intermediate language #Logic, programming, and type systems #Mathematical optimization #Mathematics #Optimizing compiler #Overhead (engineering) #Program optimization #Programming language #Representation (politics) #Software Testing and Debugging Techniques #Structuring #Theoretical computer science
- Register allocation & spilling via graph coloring
1982/01/01 by Gregory J. Chaitin · 669 citations
Computer Science · #Compile time #Compiler #Computation #Computer science #Embedded Systems Design Techniques #Graph #Graph coloring #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Processor register #Programming language #Register (sociolinguistics) #Register allocation #Teaching and Learning Programming #Theoretical computer science
- Register allocation via coloring
1981/01/01 by Gregory J. Chaitin, Marc Auslander, Marc A. Auslander +6 · 421 citations
Computer Science · Mathematics · #Arithmetic #Compiler #Computer science #Constraint Satisfaction and Optimization #Graph #Graph coloring #Mathematics #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Point (geometry) #Processor register #Programming language #Register (sociolinguistics) #Register allocation #Teaching and Learning Programming #Theoretical computer science