Fast Binary Translation: Translation Efficiency and Runtime Efficiency Mathias Payer and Thomas R. Gross Department of Computer Science ETH Zürich

Source URL: hexhive.github.io

• Computer performance
• Software optimization
• Central processing unit
• Arrays
• Compiler optimizations
• Binary translation
• Lookup table
• Subroutine
• Instruction set
• Inline expansion
• Cache

D Programming Language Specication i This is the specication for the D Programming Language. For more information see dlang.org.

Source URL: dlang.org

• Character encoding
• Computing
• Software
• Unicode Transformation Formats
• Compiler construction
• Encodings
• Programming language implementation
• Byte order mark
• Lexical analysis
• UTF-16
• UTF-8
• UTF-1

Simple and Efficient Construction of Static Single Assignment Form Matthias Braun1 , Sebastian Buchwald1 , Sebastian Hack2 , Roland Leißa2 , Christoph Mallon2 , and Andreas Zwinkau1 1

Source URL: pp.info.uni-karlsruhe.de

• Compiler optimizations
• Static single assignment form
• Global value numbering
• Golden ratio base

The MicroC Compiler Stephen A. Edwards Columbia University Fall 2014

Source URL: www1.cs.columbia.edu

Probabilistic Models for Learning a Semantic Parser Lexicon Jayant Krishnamurthy Allen Institute for Artificial Intelligence 2157 N. Northlake Way, Suite 110 Seattle, WA 98103

Source URL: ai2-website.s3.amazonaws.com

• Academia
• Linguistics
• Cognition
• Formal languages
• Compiler construction
• Cognitive science
• Grammar
• Parsing
• Natural language processing
• Context-free grammar
• Computational linguistics
• Semantics

GNU MPFR The Multiple Precision Floating-Point Reliable Library EditionJuneThe MPFR team

Source URL: www.mpfr.org

• Software
• Computer arithmetic
• Compiling tools
• C
• GNU MPFR
• GNU Multiple Precision Arithmetic Library
• Configure script
• SageMath
• Rounding
• GNU Compiler Collection
• C standard library
• GNU

Optimization of Common Table Expressions in MPP Database Systems I. Motivation! II. CTE Representation in Orca! WITH v AS (SELECT i_brand FROM item WHERE i_color = ’red’)

Source URL: acmsocc.github.io

• SQL keywords
• Database management systems
• SQL
• Compiler optimizations
• Hierarchical and recursive queries in SQL
• Recursion
• Inline expansion
• Join
• Database index
• Select

Functional Pearl: A SQL to C Compiler in 500 Lines of Code Tiark Rompf ∗ ∗ Nada Amin‡

Source URL: www.cs.purdue.edu

A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ

Source URL: www.lri.fr

• Computer arithmetic
• Computing
• Software engineering
• Computer architecture
• IEEE floating point
• Double-precision floating-point format
• Extended precision
• Processor register
• Compiler correctness
• Rounding
• Fortran
• Single-precision floating-point format

“decodebin3” Modern playback use-cases GStreamer Conference 2015, Dublin October 8th 2015 Edward Hervey a.k.a bilboed

Source URL: gstreamer.freedesktop.org

• Software
• Computing
• Free software
• Compiler construction
• Parsing
• GStreamer
• Ogg