×

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; KLEE; Coq; CUDA; SMT-LIB; CPAchecker; SciPy; Boogie; Valgrind; CBMC; NumPy; R; BLAST; MiBench; libclang; Gurobi
Cited in: 83 Documents
Further Publications: http://llvm.org/pubs/
all top 5

Cited by 248 Authors

4 Reps, Thomas W.
3 Frohn, Florian
3 Giesl, Jürgen
3 Hensel, Jera
3 Kovács, Laura Ildikó
3 Lammich, Peter
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 Ene, Cristian
2 Fuhs, Carsten
2 Gunter, Elsa L.
2 Gurfinkel, Arie
2 Lubin, Miles
2 Mounier, Laurent
2 Niemetz, Aina
2 Pellizzoni, Rodolfo
2 Potet, Marie-Laure
2 Preiner, Mathias
2 Reynolds, Andrew
2 Schneider-Kamp, Peter
2 Sharma, Tushar
2 Strejček, Jan
2 Stroustrup, Bjarne
2 Tinelli, Cesare
2 Ulbrich, Mattias
2 Zohar, Yoni
1 Abreu, Rui
1 Abreu, Salvador
1 Agosta, Giovanni
1 Amani, Sidney
1 Amrollahi, Daneshvar
1 Anderson, Ross P.
1 Andersson, Joel A. E.
1 Aubert, Clément
1 Babić, Domagoj
1 Bak, Stanley
1 Baranowski, Marek
1 Barbar, Mohamad
1 Barenghi, Alessandro
1 Bartocci, Ezio
1 Beckert, Bernhard
1 Ben-Nun, Tal
1 Berger, Ulrich
1 Betti, Emiliano
1 Bezanson, Jeff
1 Bhatotia, Pramod
1 Blazy, Sandrine
1 Bonakdarpour, Borzoo
1 Bormer, Thorsten
1 Boutonnet, Rémy
1 Bueno, Francisco
1 Caccamo, Marco
1 Castrillon, Jeronimo
1 Chambers, John McKinley
1 Chen, Zilin
1 Codognet, Philippe
1 Cogumbreiro, Tiago
1 Cohen, Albert
1 Costa Seco, João
1 Crafa, Silvia
1 Cuomo, Salvatore
1 D’Antoni, Loris
1 Darmawan, Luthfi
1 De Bosschere, Koen
1 Di Pirro, Matteo
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 Faqeh, Rasha
1 Felber, Pascal
1 Feng, Min
1 Feng, Weijie
1 Fetzer, Christof
1 Fischmeister, Sebastian
1 Fleury, Mathias
1 Gange, Graeme
1 Gao, Kaifeng
1 Garzaran, Maria-Jesus
1 Garzella, Jack J.
1 Geraldo, Eduardo
1 Gianinazzi, Lukas
1 Giannopoulou, Georgia
1 Gillis, Joris J. M.
1 Gobbert, Matthias K.
1 Gocht, Stephan
...and 148 more Authors

Citations by Year