LLM-Vectorizer: LLM-based Verified Loop Vectorizer

Conversion of control dependence to data dependence. In Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages . 177–189

John R Allen, Ken Kennedy, Carrie Porterfield, and Joe Warren. 1983 · 1983

Earlier work this paper cites.

Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer, 337–340

Leonardo De Moura and Nikolaj Bjørner. 2008 · 2008

Earlier work this paper cites.

Formal verification of a C-like memory model and its uses for verifying program transformations

Xavier Leroy and Sandrine Blazy. 2008 · 2008

Earlier work this paper cites.

The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). In Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010 (Lecture Notes in Computer Science, Vol. 6504) , Sharon Barner, Ian G. Harris, Daniel Kroening, and Orna Raz (Eds.). Springer, 3

Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, and Cesare Tinelli. 2010 · 2010

Earlier work this paper cites.

An evaluation of vectorizing compilers. In 2011 International Conference on Parallel Architectures and Compilation Techniques . IEEE, 372–382

Saeed Maleki, Yaoqing Gao, Maria J Garzar, Tommy Wong, David A Padua, et al · 2011

Earlier work this paper cites.

Equality-Based Translation Validator for LLVM. In Computer Aided Verification , Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 737–742

Michael Stepp, Ross Tate, and Sorin Lerner. 2011 · 2011

Earlier work this paper cites.

Automatic Rootcausing for Program Equivalence Failures in Binaries. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 9206) , Daniel Kroening and Corina S. Pasareanu (Eds.). Springer, 362–379

Shuvendu K. Lahiri, Rohit Sinha, and Chris Hawblitzel. 2015 · 2015

Earlier work this paper cites.

Compiler auto-vectorization with imitation learning

Charith Mendis, Cambridge Yang, Yewen Pu, Saman Amarasinghe, and Michael Carbin. 2019 · 2019

Earlier work this paper cites.

Evaluating auto-vectorizing compilers through objective withdrawal of useful information

Sergi Siso, Wes Armour, and Jeyarajan Thiyagalingam. 2019 · 2019

Cited alongside, same era.

Neurovectorizer: End-to-end vectorization with deep reinforcement learning. In Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization . 242–255

Ameer Haj-Ali, Nesreen K Ahmed, Ted Willke, Yakun Sophia Shao, Krste Asanovic, and Ion Stoica. 2020 · 2020

Cited alongside, same era.

Auto Vectorisation Capabilities of the Compilers. In Proceedings of 3rd International Conference on Computing Informatics and Networks: ICCIN 2020 . Springer, 647–655

Mamta Madan, Pradyumn Nand, and Joy Aneja. 2021 · 2020

Cited alongside, same era.

Unsupervised translation of programming languages

Baptiste Roziere, Marie-Anne Lachaux, Lowik Chanussot, and Guillaume Lample. 2020 · 2020

Cited alongside, same era.

Evaluating large language models trained on code

Original

Alive2: bounded translation validation for LLVM. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation . 65–79

Nuno P Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr. 2021 · 2021

Later among the works it cites.

Mlgoperf: An ml guided inliner to optimize performance

Original

Amir H Ashouri, Mostafa Elhoushi, Yuzhe Hua, Xiang Wang, Muhammad Asif Manzoor, Bryan Chan, and Yaoqing Gao. 2022 · 2022

Later among the works it cites.

Gpt-4 technical report

Original

Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al · 2023

Later among the works it cites.

Large language models for compiler optimization

Original

Chris Cummins, Volker Seeker, Dejan Grubisic, Mostafa Elhoushi, Youwei Liang, Baptiste Roziere, Jonas Gehring, Fabian Gloeckle, Kim Hazelwood, Gabriel Synnaeve, et al · 2023

Later among the works it cites.