Skip to search formSkip to main contentSkip to account menu

LLVM

Known as: .ll, LLVM Intermediate Representation, Low level virtual machine 
The LLVM compiler infrastructure project (formerly Low Level Virtual Machine) is a "collection of modular and reusable compiler and toolchain… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Compilers use static analyses to justify program optimizations. As every optimization must preserve the semantics of the original… 
2017
2017
Many current approaches to deep learning make use of high-level toolkits such as TensorFlow, Torch, or Caffe. Toolkits such as… 
2015
2015
While Partitioned Global Address Space (PGAS) programming languages such as UPC/UPC++, CAF, Chapel and X10 provide high-level… 
Highly Cited
2014
Highly Cited
2014
Knowledge bases capture millions of entities such as people, companies or movies. However, their knowledge of named events like… 
2013
2013
Former research on automatic exploration of ASIP architectures mostly focused on either the internal memory hierarchy, or the… 
2011
2011
Standard static WCET analysis methods today are based on the IPET technique, where WCET estimation is formulated as an integer… 
2009
2009
In this paper, we applied our approach for verifying low-level code to the scheduler of the real-time operating system BOSS. We… 
2005
2005
Current implementations of software providing dynamic aspect functionality in operating system (OS) kernels are quite restricted… 
1998
1998
Thomasclarkite-(Y), ideally Na(Y/REE"XHCOj(OII)r4HzO, is a newly identified mineral species from Mont Saint-Hilaire, Quebec. It… 
1984
1984
The purpose of this investigation was twofold: (a) to determine the safety-effectiveness of two-way left-turn lanes (TWLTLs) and…