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.

References in zbMATH (referenced in 44 articles )

Showing results 1 to 20 of 44.
Sorted by year (citations)

1 2 3 next

  1. Bezanson, Jeff; Edelman, Alan; Karpinski, Stefan; Shah, Viral B.: Julia: a fresh approach to numerical computing (2017)
  2. Chambers, John M.: Extending R (2016)
  3. Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: An abstract domain of uninterpreted functions (2016)
  4. Saarikivi, Olli; Heljanko, Keijo: LCTD: test-guided proofs for C programs on LLVM (2016)
  5. Travkin, Oleg; Wehrheim, Heike: Verification of concurrent programs on weak memory models (2016)
  6. Agosta, Giovanni; Barenghi, Alessandro; Pelosi, Gerardo; Scandale, Michele: Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software (2015)
  7. Barnat, Jiří: Quo vadis explicit-state model checking (2015)
  8. Berger, Ulrich; Lawrence, Andrew; Forsberg, Fredrik Nordvall; Seisenberger, Monika: Extracting verified decision procedures: DPLL and resolution (2015)
  9. Dragan, Ioan; Kovács, Laura: Lingva: generating and proving program properties using symbol elimination (2015)
  10. Lubin, Miles; Dunning, Iain: Computing in operations research using Julia (2015)
  11. Patney, Anjul; Tzeng, Stanley; Seitz, Kerry A.; Owens, John D.: Piko: a framework for authoring programmable graphics pipelines (2015)
  12. Chen, Xuhao; Shen, Li; Wang, Zhiying; Zheng, Zhong; Chen, Wei: Binary compatibility for embedded systems using greedy subgraph mapping (2014)
  13. Lampka, Kai; Giannopoulou, Georgia; Pellizzoni, Rodolfo; Wu, Zheng; Stoimenov, Nikolay: A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets (2014)
  14. Liqat, Umer; Kerrison, Steve; Serrano, Alejandro; Georgiou, Kyriakos; Lopez-Garcia, Pedro; Grech, Neville; Hermenegildo, Manuel V.; Eder, Kerstin: Energy consumption analysis of programs based on XMOS ISA-level models (2014)
  15. Montenegro, Manuel; Peña, Ricardo; Segura, Clara: A resource semantics and abstract machine for \itSafe: a functional language with regions and explicit deallocation (2014)
  16. Mushtaq, Hamid; Al-Ars, Zaid; Bertels, Koen: Efficent and highly portable deterministic multithreading (DetLock) (2014)
  17. Temple Lang, Duncan: Enhancing R with advanced compilation tools and methods (2014)
  18. Bonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian: Time-triggered runtime verification (2013)
  19. Ebnenasir, Ali; Hajisheykhi, Reza; Kulkarni, Sandeep S.: Facilitating the design of fault tolerance in transaction level SystemC programs (2013)
  20. Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha: Whale: an interpolation-based algorithm for inter-procedural verification (2012)

1 2 3 next

Further publications can be found at: http://llvm.org/pubs/