CC 2016- Proceedings of the 25th International Conference on Compiler Construction



CC 2016- Proceedings of the 25th International Conference on Compiler Construction

Full Citation in the ACM Digital Library

SESSION: Speculation

Thread-level speculation with kernel support

  • Clemens Hammacher
  • Kevin Streit
  • Andreas Zeller
  • Sebastian Hack

Reducing memory buffering overhead in software thread-level speculation

  • Zhen Cao
  • Clark Verbrugge

Performance implications of transient loop-carried data dependences in automatically parallelized loops

  • Niall Murphy
  • Timothy Jones
  • Robert Mullins
  • Simone Campanoni

SESSION: Run-Time Techniques

Safe and flexible adaptation via alternate data structure representations

  • Amlan Kusum
  • Iulian Neamtiu
  • Rajiv Gupta

Relaxed dependence tracking for parallel runtime support

  • Minjia Zhang
  • Swarnendu Biswas
  • Michael D. Bond

Kindergarten cop: dynamic nursery resizing for GHC

  • Henrique Ferreiro
  • Laura Castro
  • Vladimir Janjic
  • Kevin Hammond

SESSION: Verified Compilation

Verified construction of static single assignment form

  • Sebastian Buchwald
  • Denis Lohner
  • Sebastian Ullrich

Mechanizing conventional SSA for a verified destruction with coalescing

  • Delphine Demange
  • Yon Fernandez de Retana

Reachability and error diagnosis in LR(1) parsers

  • François Pottier

SESSION: Verification

Automatic fault location for data structures

  • Vineet Singh
  • Rajiv Gupta
  • Iulian Neamtiu

Sparse representation of implicit flows with applications to side-channel detection

  • Bruno Rodrigues
  • Fernando Magno Quintão Pereira
  • Diego F. Aranha

SESSION: Energy and Dynamic Checking

Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs

  • Konstantinos Koukos
  • Per Ekemark
  • Georgios Zacharopoulos
  • Vasileios Spiliopoulos
  • Stefanos Kaxiras
  • Alexandra Jimborean

Heap bounds protection with low fat pointers

  • Gregory J. Duck
  • Roland H. C. Yap

SESSION: Static and Dynamic Optimization

Register allocation and promotion through combined instruction scheduling and loop unrolling

  • Łukasz Domagała
  • Duco van Amstel
  • Fabrice Rastello
  • P. Sadayappan

On fusing recursive traversals of K-d trees

  • Samyam Rajbhandari
  • Jinsung Kim
  • Sriram Krishnamoorthy
  • Louis-Noël Pouchet
  • Fabrice Rastello
  • Robert J. Harrison
  • P. Sadayappan

Restrictification of function arguments

  • Victor Hugo Sperle Campos
  • Péricles Rafael Alves
  • Henrique Nazaré Santos
  • Fernando Magno Quintão Pereira

SESSION: Static Analysis

Static deadlock detection for concurrent go by global session graph synthesis

  • Nicholas Ng
  • Nobuko Yoshida

Static detection of energy defect patterns in Android applications

  • Haowei Wu
  • Shengqian Yang
  • Atanas Rountev

On fast large-scale program analysis in Datalog

  • Bernhard Scholz
  • Herbert Jordan
  • Pavle Subotić
  • Till Westmann

Improved MHP Analysis

  • Aravind Sankar
  • Soham Chakraborty
  • V. Krishna Nandivada

SESSION: Data Layout and Polyhedral Techniques

Extended lattice-based memory allocation

  • Alain Darte
  • Alexandre Isoard
  • Tomofumi Yuki

Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality

  • Cédric Bastoul

Automatic data layout generation and kernel mapping for CPU+GPU architectures

  • Deepak Majeti
  • Kuldeep S. Meel
  • Rajkishore Barik
  • Vivek Sarkar

Input space splitting for OpenCL

  • Simon Moll
  • Johannes Doerfert
  • Sebastian Hack

SESSION: Tool Demonstrations

GreenThumb: superoptimizer construction framework

  • Phitchaya Mangpo Phothilimthana
  • Aditya Thakur
  • Rastislav Bodik
  • Dinakar Dhurjati

Register allocation and instruction scheduling in Unison

  • Roberto Castañeda Lozano
  • Mats Carlsson
  • Gabriel Hjort Blindell
  • Christian Schulte

SVF: interprocedural static value-flow analysis in LLVM

  • Yulei Sui
  • Jingling Xue

Iguana: a practical data-dependent parsing framework

  • Ali Afroozeh
  • Anastasia Izmaylova

SYCO: a systematic testing tool for concurrent objects

  • Elvira Albert
  • Miguel Gómez-Zamalloa
  • Miguel Isabel