Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign

Source URL: cgo.org

• Computing
• Software
• Programming language implementation
• Compiler construction
• Cross-platform software
• Array programming languages
• Functional languages
• Interpreter
• Bytecode
• Just-in-time compilation
• Compiler
• Java

Bootstrapping the Scala.js Ecosystem Li Haoyi, Scala eXchange 7 Dec 2014 What is Scala.js ● Scala.js is a Scala -> Javascript compiler

Source URL: www.lihaoyi.com

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computing
• Software
• Compiler construction
• Formal methods
• Logic in computer science
• Programming language implementation
• Functional languages
• Programming language
• Semantics
• Compiler
• Low-level programming language

MPIR The Multiple Precision Integers and Rationals Library EditionNovemberOriginal Authors: Torbjorn Granlund and the GMP Development Team

Source URL: www.mpir.org

• Compiling tools
• Cross-platform software
• Build automation
• Computer arithmetic
• Configure script
• Object-oriented programming languages
• GNU Multiple Precision Arithmetic Library
• Autoconf
• GNU Libtool
• MPIR
• Automake
• Cross compiler

Analysis of Partitioned Global Address Space Programs by Amir Kamil Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial satisfact

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Parallel computing
• Computer memory
• Concurrent computing
• Compiler construction
• Search algorithms
• Depth-first search
• Thread
• Memory barrier
• Barrier
• Graph

Parsifal: a pragmatic solution to the binary parsing problem Olivier Levillain Agence Nationale de la S´ecurit´e des Syst`emes d’Information (ANSSI) https://github.com/ANSSI-FR Abstract

Source URL: spw14.langsec.org

• Parsing
• Compiler construction
• OCaml
• Camlp4
• JSON
• Parsifal
• Portable Network Graphics
• LR parser

Today’s Plan Part 1: Theory •  Brief review of partial evaluation •  The new bootstrapping technique Bootstrapping Compiler Generators

Source URL: wiki.hh.se

888 LLVM - Exercise Week 6 For 01. MarFix missed optimization in instcombine

Source URL: grosser.es

• Software
• Computer programming
• Compilers
• LLVM
• D
• GNU Compiler Collection

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler Yves Bertot and Laurent Th´ery April

Source URL: vstte.ethz.ch