Brussels / 4 & 5 February 2017

schedule

LLVM Toolchain devroom

Room: K.3.201
Calendar: iCal, xCal


09 10 11 12 13 14 15 16 17 18
Sunday GlobalISel - LLVM's Latest Instruction Selection Framework Profile-Guided Optimization in the LDC D compiler
Implementation and Benefits		 Adding 16-bit Character Support in LLVM LLD from a user's perspective Using clang as a Frontend on a Formal Verification Tool Using LNT to track performance Mutation Testing
Leaving the Stone Age		 Security Enhanced LLVM Convergent functions and function parameters
SPMD semantics for GPU programs		 LLVM at Red Hat
How and where is LLVM used in the Red Hat ecosystem

LLVM is a compilation infrastructure being used in production by a wide variety of commercial and open source projects as well as being widely used in academic research. In addition, its components form an open source toolchain that is already the system default on Android, FreeBSD and some Linux distributions. LLVM hardware support ranges from the most embedded platforms to large HPC clusters, with a vibrant community engaged on improving all sides of the toolchain.

Event Speakers Start End

Sunday
  GlobalISel - LLVM's Latest Instruction Selection Framework Diana Picus 10:00 10:40
  Profile-Guided Optimization in the LDC D compiler
Implementation and Benefits		 Kai Nacke 10:45 11:25
  Adding 16-bit Character Support in LLVM Simon Cook 11:30 12:10
  LLD from a user's perspective Peter Smith 12:15 12:55
  Using clang as a Frontend on a Formal Verification Tool Mikhail Gadelha 13:00 13:40
  Using LNT to track performance Kristof Beyls 13:45 14:25
  Mutation Testing
Leaving the Stone Age		 Alex Denisov 14:30 15:10
  Security Enhanced LLVM Jeremy Bennett 15:15 15:55
  Convergent functions and function parameters
SPMD semantics for GPU programs		 Nicolai Hähnle 16:00 16:05
  LLVM at Red Hat
How and where is LLVM used in the Red Hat ecosystem		 Dodji Seketeli 16:10 16:15