Autotuning and Specialization: Speeding up Matrix Multiply for Small Matrices with Compiler Technology Jaewook Shin1, Mary W. Hall2, Jacqueline Chame3, Chun Chen2, Paul D. Hovland1 1

Source URL: iwapt.org

Accurate prediction of the behavior of multithreaded applications in shared caches

Source URL: www.des.udc.es

• Computer programming
• Software engineering
• Computing
• Cache
• Compiler optimizations
• Computer memory
• Parallel computing
• Compiler construction
• Optimizing compiler
• OpenMP
• Locality of reference
• For loop

Towards User-Friendly Projectional Editors Markus Voelter1 , Janet Siegmund2 , Thorsten Berger3 , and Bernd Kolb4 1 2 3

Source URL: mbeddr.com

• Computing
• Software
• Formal languages
• Compiler construction
• Language workbench
• Markup languages
• Technical communication
• Structure editor
• Syntax
• JetBrains MPS
• Parsing
• Abstract syntax tree

Assignment 4 L245 Due Tuesday, March 1 1. Try out the VIEW system (http://sifnos.sfs.uni-tuebingen.de/VIEW/) & answer the following: (a) In a sentence or two, describe the positives of these types of exercises. When woul

Source URL: cl.indiana.edu

• Linguistics
• Compiler construction
• Parsing
• Syntax
• Crean
• Copula
• Language
• Philosophy of language

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification

Control-Flow Analysis Last time – Undergraduate compilers in a day Today – Control-flow analysis – Building basic blocks

Source URL: www.cis.upenn.edu

• Software engineering
• Compiler construction
• Computer programming
• Graph theory
• Mathematics
• Dominator
• Data-flow analysis
• Control flow
• Interval
• Control theory
• Infinite loop
• Graph

Error Propagation Analysis for File Systems ∗ Cindy Rubio-González Haryadi S. Gunawi Ben Liblit Remzi H. Arpaci-Dusseau Andrea C. Arpaci-Dusseau

Source URL: web.cs.ucdavis.edu

• Statistics
• Statistical theory
• Software engineering
• Error
• Measurement
• Numerical analysis
• Compiler optimizations
• Scope
• Errors and residuals
• Errno.h
• Exception handling
• Propagation of uncertainty

Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna

Source URL: www.des.udc.es

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cache
• Computer memory
• Locality of reference
• Software optimization
• Optimizing compiler
• For loop
• Infinite loop
• Ada

Benchmark of an MPFR emulation of Binary128 arithmetic September 13, 2013 Abstract are displayed in Table 2. The compiler options were

Source URL: perso.ens-lyon.fr

• Computing
• Computer arithmetic
• Software
• C programming language)
• GNU MPFR
• GNU Multiple Precision Arithmetic Library
• Const
• Quadruple-precision floating-point format

A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,

Source URL: pauillac.inria.fr

• Software
• Computing
• Formal methods
• Logic in computer science
• Compiler construction
• Compilers
• Functional languages
• CompCert
• Compiler
• Xavier Leroy
• Formal verification
• Compiler correctness