We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin

Source URL: popl-obt-2014.cs.brown.edu

• Software engineering
• Computing
• Software
• Functional programming
• Programming paradigms
• International Conference on Functional Programming
• Domain-specific language
• Compiler
• Type system
• Declarative programming
• Programming language

Just-In-Time Software Pipelining Hongbo Rong Youfeng Wu Hyunchul Park

Source URL: cgo.org

• Compiler optimizations
• Computing
• Software pipelining
• Software
• Loop optimization
• Bc
• Loop dependence analysis
• Instruction-level parallelism

MODESTO: Data-centric Analytic Optimization of Complex Stencil Programs on Heterogeneous Architectures Tobias Gysi Tobias Grosser

Source URL: spcl.inf.ethz.ch

• Visual arts
• Compiler optimizations
• Computational science
• Scientific modeling
• Simulation software
• Stencil code
• Stencil
• V.
• Tessellation
• Above
• Polytope model

FAUST Quick Reference (versionGRAME Centre National de Création Musicale January 2014

Source URL: faust.grame.fr

• Software
• Computing
• FAUST
• Compiler
• Go

Compiler/Run-Time Framework for Dynamic Data-Flow Parallelization of Tiled Programs Martin Kong1 Antoniu Pop2 R. Govindarajan3 Louis-Noël Pouchet1 Albert Cohen4 P. Sadayappan1 2

Source URL: impact.gforge.inria.fr

Towards a flexible Pharo Compiler Clement Bera and Marcus Denker Three Problems • Architecture is not reusable

Source URL: www.marcusdenker.de

RED HAT DEVELOPER TOOLSET TECHNOLOGY BRIEF BENEFITS Compile once and deploy to multiple versions of Red Hat

Source URL: access.redhat.com

• Software
• Computer architecture
• Computing
• Red Hat
• Red Hat Enterprise Linux
• Linux
• JBoss
• GNU Compiler Collection
• Red Hat Certification Program
• JBoss Developer Studio

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer

Source URL: www.nebelwelt.net

COMP 520 FallScanners and Parsers (1) Scanners and parsers

Source URL: www.sable.mcgill.ca

• Software
• Computing
• Compiling tools
• Formal languages
• Finite automata
• Parser generators
• Compiler construction
• Flex
• Printf format string
• Lexical analysis
• GNU bison
• Regular expression

The Lane Table Method Of Constructing LR(1) Parsers David Pager Xin Chen Department of Information and Computer Science

Source URL: cssauh.com

• Parser generators
• Formal languages
• LALR parser
• LR parser
• Parsing
• Yacc
• Compiler-compiler
• PLY
• Formal grammar
• LALR parser generator
• Simple LR parser