The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1

Source URL: www.nebelwelt.net

Introduction to Numerical Analysis, Spring 2013 Midterm 1 March 19, 2013 This exam starts at 2:35 PM. This exam ends at 3:55 PM. This exam is closed-book. No notes, no textbooks, no calculators, no electronic devi

Source URL: homerreid.dyndns.org

• Compiler optimizations
• Numerical analysis

Delft University of Technology Software Engineering Research Group Technical Report Series A Theory of Name Resolution with Extended Coverage and Proofs

Source URL: swerl.tudelft.nl

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Scope
• Name resolution
• Syntax
• Variable
• Lambda calculus
• Declaration
• Compiler
• Scheme

Opportunities for Parallelism in Matrix Multiplication FLAME Working Note #71 Tyler M. Smith∗ Robert A. van de Geijn∗

Source URL: www.cs.utexas.edu

• Parallel computing
• Compiler optimizations
• Computer architecture
• CPU cache
• Central processing unit
• Computer memory
• Xeon
• Automatic parallelization
• Basic Linear Algebra Subprograms
• Nehalem
• Thread

CAWDOR: Compiler Assisted Worm Defense Jun Yuan Rob Johnson Department of Computer Science

Source URL: www3.cs.stonybrook.edu

Published in Proc. of Conference on Compiler Construction, 2002, pp. 213–228. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul, and Westley

Source URL: www.scottmcpeak.com

COMP 520 FallNative code generation (1) Native code generation

Source URL: www.sable.mcgill.ca

• Computing
• Software
• Programming language implementation
• Compiler construction
• Assembly languages
• Java bytecode
• Bytecode
• Java virtual machine
• Just-in-time compilation
• Interpreter
• Compiler
• Ahead-of-time compilation

Runtime code generation to speed up spreadsheet computations Thomas S. Iversen, July 30, 2006 Figure 1: Taming the compiler dragon inside spreadsheet engines.

Source URL: www.itu.dk

Anatomy of High-Performance Many-Threaded Matrix Multiplication Tyler M. Smith∗ , Robert van de Geijn∗ , Mikhail Smelyanskiy† , Jeff R. Hammond‡ and Field G. Van Zee∗ ∗ Institute for Computational Engineerin

Source URL: www.cs.utexas.edu

• Computer architecture
• Parallel computing
• Compiler optimizations
• Cache
• Computer memory
• CPU cache
• Xeon Phi
• Multi-core processor
• Xeon
• Loop nest optimization
• Nehalem
• PowerPC A2

Writing better code withhelp from the compiler

Source URL: events.linuxfoundation.org