Introduction CompCert Flocq CompCert+Flocq Conclusion A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond

Source URL: www.lri.fr

• Compilers
• Computer arithmetic
• CompCert
• Logic in computer science
• Xavier Leroy
• GNU Compiler Collection
• Floating point
• X86

Brief Announcement: COP Composition Using Transaction Suspension in the Compiler Hillel Avni1 and Adi Suissa-Peleg2 1 Tel-Aviv University

Source URL: mcg.cs.tau.ac.il

Home Page: Services: News: http://www.hdfgroup.org/ http://www.hdfgroup.org/services/

Source URL: www.hdfgroup.org

• Computer file formats
• Hierarchical Data Format
• Intel Fortran Compiler
• Fortran
• Microsoft Excel
• NetCDF

Performance-Portable Programming on x86 CPUs and GPUs Using OpenACC Michael Wolfe PGI compiler engineer

Source URL: on-demand.gputechconf.com

Karlsruhe Reports in Informatics 2012,9 Edited by Karlsruhe Institute of Technology, Faculty of Informatics ISSNAn X10 Compiler for Invasive Architectures

Source URL: beza1e1.tuxen.de

Register Allocation by Puzzle Solving Fernando Magno Quint˜ao Pereira Jens Palsberg UCLA Computer Science Department

Source URL: web.cs.ucla.edu

• Compiler optimizations
• Puzzles
• Software
• T puzzle
• Register allocation
• Mathematics
• Linear programming
• Static single assignment form
• LLVM

COMP 520 FallAbstract syntax trees Abstract syntax trees (1)

Source URL: www.sable.mcgill.ca

• Software engineering
• Computer programming
• Computing
• C
• Procedural programming languages
• Struct
• Abstract syntax tree
• Typedef
• ALGOL 68
• Union type
• GNU bison
• Compiler

Chris Rossbach, Yuan Yu, Jon Currey, JP Martin, Dennis Fetterly Microsoft Research DANDELION: A COMPILER AND RUNTIME FOR HETEROGENEOUS SYSTEMS

Source URL: sigops.org

• Computing
• Computer architecture
• Graphics hardware
• GPGPU
• Parallel computing
• Computer engineering
• Digital signal processing
• Graphics processing unit
• GPU cluster
• Multi-core processor
• Thread

Generating Semantically Precise Scene Graphs from Textual Descriptions for Improved Image Retrieval Sebastian Schuster, Ranjay Krishna, Angel Chang, Li Fei-Fei, and Christopher D. Manning Stanford University, Stanford, C

Source URL: nlp.stanford.edu

• Graph theory
• Computing
• Artificial intelligence
• Computational linguistics
• Mathematics
• Compiler construction
• Parsing
• Knowledge representation
• Scene graph
• DOT
• Content-based image retrieval
• Graph

Compiler Analysis and Optimization of Habanero-Java Programs Rajkishore Barik Rice University Power, frequency, and memory wall challenges have led to a major shift in mainstream

Source URL: vecpar.fe.up.pt