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; Python; Julia; KLEE; Isabelle/HOL; Coq; SMT-LIB; CPAchecker; R; Valgrind; BLAST; SciPy; CBMC; MiBench; Rcpp; NumPy; CUDA; Boogie; Matlab 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 all top 5 Cited in 25 Serials 5 Journal of Automated Reasoning 4 Formal Methods in System Design 2 Theoretical Computer Science 2 Science of Computer Programming 2 Real-Time Systems 2 SIAM Review 2 Theory and Practice of Logic Programming 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Computer Methods in Applied Mechanics and Engineering 1 Information Processing Letters 1 Journal of Computational Physics 1 Parallel Computing 1 Journal of Symbolic Computation 1 Statistical Science 1 International Journal of Parallel Programming 1 Information and Computation 1 Journal of Statistical Computation and Simulation 1 The Journal of Artificial Intelligence Research (JAIR) 1 INFORMS Journal on Computing 1 Journal of Machine Learning Research (JMLR) 1 Mathematics in Computer Science 1 Mathematical Programming Computation 1 Computer Science Review 1 Chapman & Hall/CRC The R Series all top 5 Cited in 9 Fields 63 Computer science (68-XX) 7 Numerical analysis (65-XX) 3 Mathematical logic and foundations (03-XX) 3 Statistics (62-XX) 3 Operations research, mathematical programming (90-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year