Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle Manuel Rigger Matthias Grimmer

Source URL: ssw.jku.at

Faust audio DSP language in the Web Stephane LETZ and Sarah DENOUX and Yann ORLAREY and Dominique FOBER GRAME 11, cours de Verdun (GENSOULLYON, FRANCE,

Source URL: lac.linuxaudio.org

• Software
• Computing
• Web programming
• Compilers
• Mozilla
• JavaScript
• Cross-platform software
• Asm.js
• Emscripten
• LLVM
• FAUST
• Clang

Aachen Department of Computer Science Technical Report Automated Termination Analysis for Programs with Pointer Arithmetic

Source URL: sunsite.informatik.rwth-aachen.de

• Software
• Compilers
• LLVM

ErLLVM Kostis Sagonas joint work with Chris Stavrakakis and

Source URL: www.erlang-factory.com

• Software
• Programming language implementation
• Compilers
• Compiler construction
• LLVM
• Erlang
• GNU Compiler Collection
• Clang
• Intermediate representation
• Compiler
• Just-in-time compilation
• Static single assignment form

HSAIL: PORTABLE COMPILER IR FOR HSA HOT CHIPS TUTORIAL - AUGUST 2013 BEN SANDER AMD SENIOR FELLOW

Source URL: www.hotchips.org

• Computing
• Software
• Parallel computing
• GPGPU
• OpenCL
• C++ AMP
• General-purpose computing on graphics processing units
• LLVM
• Linux kernel
• HSA Foundation
• Compute kernel
• Intermediate representation

SACK: a Semantic Automated Compiler Kit Colby T. Skeggs Applications o Rapid architecture testing o Automatically-generated architectures: o For security

Source URL: www.celskeggs.com

• Software
• Computing
• Computer architecture
• Compilers
• Instruction set architectures
• Programming language implementation
• Machine code
• GNU Compiler Collection
• X86
• Assembly language
• LLVM
• NOP

405-Whats_New_in_LLVM-finalv2.key

Source URL: devstreaming.apple.com

CTSRD Robert N. M. Watson Peter G. Neumann DARPA CRASH PI Meeting Arlington,VA, USA 8 November 2011

Source URL: fm.csl.sri.com

• Software
• Computing
• Computer architecture
• Computing platforms
• Operating system kernels
• Clang
• Kernel
• Assertion
• Unikernel
• Linux kernel
• FreeBSD
• LLVM

Precimonious: Tuning Assistant for Floating-Point Precision Cindy Rubio-Gonz´alez1 , Cuong Nguyen1 , Hong Diep Nguyen1 , James Demmel1 , William Kahan1 , Koushik Sen1 , David H. Bailey2 , Costin Iancu2 , and David Hough

Source URL: crd.lbl.gov

• Computing
• Computer arithmetic
• Software engineering
• Computer programming
• Floating point
• LLVM
• Kahan summation algorithm
• Extended precision
• IEEE floating point
• Program analysis
• Lookup table
• Type system

Low Level Virtual Machine for Glasgow Haskell Compiler By David Anthony Terei Supervisor Manuel M. T. Chakravarty

Source URL: www.cse.unsw.edu.au

• Software
• Computer programming
• Compilers
• Compiler construction
• LLVM
• Cross-platform software
• Glasgow Haskell Compiler
• Intermediate representation
• Object-oriented programming languages
• Haskell
• D
• Compiler