Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Elementary mathematics
• Compiler optimizations
• Static single assignment form
• Logic programming
• Scope
• Unification
• Term
• FO
• Variable
• Singular spectrum analysis

A Maintenance Programmer’s View of GCC Zachary Weinberg CodeSourcery, LLC Abstract

Source URL: research.owlfolio.org

• Software
• Compiler construction
• Build automation
• Compiling tools
• Compilers
• GNU Compiler Collection
• Programming language implementation
• Cross compiler
• Intermediate representation
• Compiler
• Objective-C
• Automake

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

Program Analysis and Transformations - COMP 621 Laurie Hendren Fall 2015 Brief Overview Interested in learning about how program analysis and compiler optimization and transformation

Source URL: www.sable.mcgill.ca

• Software
• Compiler construction
• Computing
• Programming language implementation
• Compiler
• Optimizing compiler
• Intermediate representation
• Program optimization
• Compiler-compiler
• Cross compiler

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

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

IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu  , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a

Source URL: www-verimag.imag.fr

• Software engineering
• Computing
• Models of computation
• Software
• Finite automata
• Finite-state machine
• Transition system
• XC
• Verilog
• Clock
• Presentation
• Specification and Description Language

David Chisnall Contact and Personal Details Address: (Available on request) Swansea UK

Source URL: www.cs.swan.ac.uk

• Object-oriented programming languages
• Cocoa
• Objective-C
• LLVM
• Programming language
• Ada
• Xen
• Intermediate representation
• This
• Smalltalk
• Computer programming

Krzysztof Woś Low-level code optimisations in the Glasgow Haskell Compiler .

Source URL: research.microsoft.com

• Compiler construction
• Functional programming
• Compilers
• Programming language implementation
• Functional languages
• Glasgow Haskell Compiler
• Haskell
• C--
• LLVM
• Simon Marlow
• Simon Peyton Jones
• Intermediate representation

A Provably Correct Stackless Intermediate Representation for Java Bytecode Delphine Demange1 , Thomas Jensen2 , and David Pichardie2 2 1

Source URL: www.irisa.fr