- Large Language Models for Compiler Optimization
2023/09/11 by Chris Cummins, Cummins, Chris, Volker Seeker +20 · 2 voices · 22 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
- Sampling optimized code for type feedback
2020/10/05 by Olivier Flückiger, Andreas Wälchli, Sebastián Krynski +1 · 1 voice
Computer Science · #Code (set theory) #Compiler #Dead code #Formal Methods in Verification #Implementation #Key (lock) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Point (geometry) #Program code #Program optimization #Source code #Type (biology) #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
- BOLT: A Practical Binary Optimizer for Data Centers and Beyond
2018/07/18 by Maksim Panchenko, Panchenko, Maksim, Rafael Auler +5 · 3 voices · 10 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
- Learning to superoptimize programs
2016/11/06 by Rudy Bunel, Bunel, Rudy, Alban Desmaison +8 · 1 voice · 8 citations
Computer Science · #Artificial intelligence #Code (set theory) #Compiler #Computer science #Correctness #Leverage (statistics) #Machine learning #Paraphrase #Program optimization #Programming language #Semantics (computer science) #Set (abstract data type) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Source code #Syntax #Theoretical computer science #Utterance #cs.LG