The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Source URL: www.sigplan.org

• Computer memory
• Parallel computing
• Concurrent computing
• Compiler construction
• Programming language design
• Linearizability
• Memory model
• C++
• Thread
• Abstraction
• Concurrency
• Memory barrier

4tH, the friendly Forth compiler J.L. Bezemer April 19, 2015 Contents 1

Source URL: thebeez.home.xs4all.nl

Enforcing Textual Alignment of Collectives Using Dynamic Checks ? Amir Kamil Katherine Yelick

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Computer programming
• Parallel computing
• C++
• Concurrent computing
• Compiler construction
• Thread
• OpenMP
• Synchronization
• Optimizing compiler
• Program analysis

A Framework for Enhancing Data Reuse via Associative Reordering Kevin Stock1 Louis-No¨el Pouchet3 1

Source URL: www.grosser.es

• Software engineering
• Computer programming
• Compiler optimizations
• Computing
• Stencil code
• Loop optimization
• For loop
• Polytope model
• Optimizing compiler
• OpenMP
• Loop unrolling
• Foreach loop

FINAL INTEGRATED Venue Allocation Version 6 October 2015 Compiler: Paul Prinsloo PROGRAMME ICDE2015 MONDAY 12 OCTOBER:00 – 20:00

Source URL: www.unisa.ac.za

PIC32 Peripheral Libraries for MPLAB C32 Compiler © 2007 Microchip Technology Inc. Advanced

Source URL: ww1.microchip.com

Better Tiling and Array Contraction for Compiling Scientific Programs ∗ Geoff Pike and Paul N. Hilfinger Computer Science Division University of California at Berkeley {pike,hilfinger}@cs.berkeley.edu

Source URL: titanium.cs.berkeley.edu

• Compiler optimizations
• Compiler construction
• Optimizing compiler
• Programming language implementation
• Foreach loop
• Aliasing
• Automatic parallelization
• GNU Compiler Collection
• Loop tiling

Making Sequential Consistency Practical in Titanium Amir Kamil Jimmy Su Katherine Yelick∗ Computer Science Division, University of California, Berkeley {kamil,jimmysu,yelick}@cs.berkeley.edu

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Compiler construction
• Computer programming
• Parallel computing
• Computer memory
• Concurrency
• Concurrent computing
• Optimizing compiler
• Alias analysis
• Memory barrier
• Synchronization

MILEPOST GCC: machine learning based research compiler Grigori Fursin, Cupertino Miranda, Olivier Temam INRIA Saclay, France

Source URL: pages.saclay.inria.fr

CVC Verilog HDL Compiler -- Complex Language Compilers Can be Simple Steven Meyer Tachyon Design Automation1 San Francisco CA 94111, USA Abstract: This paper explains why the CVC Verilog hardware de

Source URL: www.tachyon-da.com