Intent-based Compilation for Heterogeneous Parallel Architectures Waseem Ahmed Shamsheer Ahmed

Source URL: www.hipc.org

• Parallel computing
• Automatic parallelization
• Compiler
• OpenMP
• Algorithm
• Travelling salesman problem
• Multi-core processor
• Parallel programming model
• Speedup
• Computing
• Concurrent computing
• Computer programming

Delft University of Technology Software Engineering Research Group Technical Report Series Fusing a Transformation Language with an Open Compiler

Source URL: swerl.tudelft.nl

• Programming language implementation
• Transformation languages
• Program transformation
• ASF+SDF Meta Environment
• Compiler
• Principal component analysis
• Domain-specific language
• S0
• Type system
• Computing
• Software engineering
• Programming language theory

Information and Software Technology–1439 Contents lists available at ScienceDirect Information and Software Technology journal homepage: www.elsevier.com/locate/infsof

Source URL: welf.se

• Mathematics
• Data-flow analysis
• 0.999...
• Static single assignment form
• Call graph
• Linked list
• Object
• Graph
• Abstraction
• Compiler construction
• Software engineering
• Computing

Today’s Big Adventure - How to name and refer to things that don’t exist yet - How to merge separate name spaces into a cohesive whole • Readings

Source URL: www.scs.stanford.edu

• Compiler construction
• A.out
• Linker
• Symbol table
• Object file
• Portable Executable
• C
• Loader
• Printf format string
• Computing
• Software
• Programming language implementation

CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution Tom Bergan Owen Anderson

Source URL: homes.cs.washington.edu

5th Generation Intel® Core™ Processor Family, Intel® Core™ M Processor Family, Mobile Intel® Pentium® Processor Family, and Mobile Intel® Celeron® Processor Family

Source URL: www.intel.co.id

• Computing
• Intel Core
• X86-64
• Intel
• Celeron
• Intel C++ Compiler
• Centrino
• Computer architecture
• X86 architecture
• Computer hardware

Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments Brandon Lucia Benjamin P. Wood

Source URL: homes.cs.washington.edu

• Data
• Databases
• Transaction processing
• Compiler construction
• Software bug
• Lock
• Adjacency list
• Static single assignment form
• Serializability
• Concurrency control
• Computing
• Data management

tifact Abstract Many languages support behavioral software contracts so

Source URL: www.eecs.northwestern.edu

• Contract law
• Functional languages
• Compiling tools
• Parser generators
• Compiler construction
• Racket
• Lexical analysis
• Lex
• Design by contract
• Software engineering
• Computing
• Software

Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider University of Utah, School of Computing {regehr, coop}@cs.utah.edu Abstract

Source URL: www.cs.utah.edu

• Compiler construction
• Concurrency control
• Programming language implementation
• Memory barrier
• TinyOS
• Volatile variable
• Memory model
• NesC
• Atom
• Computing
• Software engineering
• Computer memory

Design and Implementation of Tree SSA Diego Novillo Red Hat Canada Abstract

Source URL: gcc.cybermirror.org

• Compiler optimizations
• Cross-platform software
• Static single assignment form
• Compilers
• Programming language implementation
• GNU Compiler Collection
• Constant folding
• Compiler
• C
• Software
• Computing
• Compiler construction