×

LLVM

swMATH ID: 4892
Software Authors: Lattner, C., Adve, V.; University of Illinois
Description: The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Despite its name, LLVM has little to do with traditional virtual machines, though it does provide helpful libraries that can be used to build them.LLVM began as a research project at the University of Illinois, with the goal of providing a modern, SSA-based compilation strategy capable of supporting both static and dynamic compilation of arbitrary programming languages. Since then, LLVM has grown to be an umbrella project consisting of a number of different subprojects, many of which are being used in production by a wide variety of commercial and open source projects as well as being widely used in academic research.
Homepage: http://llvm.org
Dependencies: C/C++ compiler
Keywords: compiler for C/C++ programs
Related Software: z3; GitHub; Julia; Isabelle/HOL; Python; Coq; KLEE; CPAchecker; BLAST; SciPy; SMT-LIB; R; CBMC; MiBench; NumPy; CUDA; Rcpp; Boogie; Matlab; UFO
Cited in: 69 Publications
Further Publications: http://llvm.org/pubs/
all top 5

Cited by 207 Authors

4 Reps, Thomas W.
3 Frohn, Florian
3 Giesl, Jürgen
3 Hensel, Jera
3 Ströder, Thomas
2 Albarghouthi, Aws
2 Aschermann, Cornelius
2 Barnat, Jiří
2 Barrett, Clark W.
2 Brockschmidt, Marc
2 Chalupa, Marek
2 Chechik, Marsha
2 Dos Reis, Gabriel
2 Dunning, Iain
2 Fuhs, Carsten
2 Gurfinkel, Arie
2 Kovács, Laura Ildikó
2 Lubin, Miles
2 Niemetz, Aina
2 Pellizzoni, Rodolfo
2 Preiner, Mathias
2 Reynolds, Andrew
2 Schneider-Kamp, Peter
2 Sharma, Tushar
2 Strejček, Jan
2 Stroustrup, Bjarne
2 Tinelli, Cesare
2 Zohar, Yoni
1 Abreu, Rui
1 Abreu, Salvador
1 Agosta, Giovanni
1 Amani, Sidney
1 Andersson, Joel A. E.
1 Babić, Domagoj
1 Bak, Stanley
1 Baranowski, Marek
1 Barbar, Mohamad
1 Barenghi, Alessandro
1 Baudry, Benoit
1 Berger, Ulrich
1 Betti, Emiliano
1 Bezanson, Jeff
1 Bilmes, Jeffrey A.
1 Blazy, Sandrine
1 Bonakdarpour, Borzoo
1 Boutonnet, Rémy
1 Bueno, Francisco
1 Caccamo, Marco
1 Chambers, John McKinley
1 Chen, Zilin
1 Codognet, Philippe
1 Cogumbreiro, Tiago
1 Cohen, Albert
1 Cuomo, Salvatore
1 D’Antoni, Loris
1 Darmawan, Luthfi
1 De Bosschere, Koen
1 Diaz, Daniel
1 Diehl, Moritz Mathias
1 Donadio, Sébastien
1 Dragan, Ioan
1 Drossopolou, Sophia
1 Duan, Zhenhua
1 Ebnenasir, Ali
1 Edelman, Alan Stuart
1 Eisenbach, Susan
1 Emmes, Fabian
1 Ene, Cristian
1 Feng, Min
1 Feng, Weijie
1 Fischmeister, Sebastian
1 Gange, Graeme
1 Gao, Kaifeng
1 Garzaran, Maria-Jesus
1 Garzella, Jack J.
1 Giannopoulou, Georgia
1 Gillis, Joris J. M.
1 Gobbert, Matthias K.
1 Gonzalez, Alberto
1 Gunter, Elsa L.
1 Gupta, Rajiv M.
1 Habermaier, Axel
1 Hajisheykhi, Reza
1 Halbwachs, Nicolas
1 Hannig, Frank
1 Harris, William R.
1 Hayes, Ian J.
1 He, Shaobo
1 Heljanko, Keijo
1 Hermenegildo, Manuel V.
1 Herrmann, Christoph Armin
1 Hiemstra, René R.
1 Horn, Greg
1 Hu, Alan J.
1 Hu, Qinheping
1 Huchette, Joey
1 Hughes, Thomas J. R.
1 Huo, Zenan
1 Ish-Shalom, Oren
1 Itzhaky, Shachar
...and 107 more Authors

Citations by Year