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
CC 2016- Proceedings of the 25th International Conference on Compiler Construction
CC 2016- Proceedings of the 25th International Conference on Compiler Construction
SESSION: Speculation
Thread-level speculation with kernel support
Reducing memory buffering overhead in software thread-level speculation
Performance implications of transient loop-carried data dependences in automatically parallelized loops
SESSION: Run-Time Techniques
Safe and flexible adaptation via alternate data structure representations
Relaxed dependence tracking for parallel runtime support
Kindergarten cop: dynamic nursery resizing for GHC
SESSION: Verified Compilation
Verified construction of static single assignment form
Mechanizing conventional SSA for a verified destruction with coalescing
Reachability and error diagnosis in LR(1) parsers
SESSION: Verification
Automatic fault location for data structures
Sparse representation of implicit flows with applications to side-channel detection
SESSION: Energy and Dynamic Checking
Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs
Heap bounds protection with low fat pointers
SESSION: Static and Dynamic Optimization
Register allocation and promotion through combined instruction scheduling and loop unrolling
On fusing recursive traversals of K-d trees
Restrictification of function arguments
SESSION: Static Analysis
Static deadlock detection for concurrent go by global session graph synthesis
Static detection of energy defect patterns in Android applications
On fast large-scale program analysis in Datalog
Improved MHP Analysis
SESSION: Data Layout and Polyhedral Techniques
Extended lattice-based memory allocation
Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality
Automatic data layout generation and kernel mapping for CPU+GPU architectures
Input space splitting for OpenCL
SESSION: Tool Demonstrations
GreenThumb: superoptimizer construction framework
Register allocation and instruction scheduling in Unison
SVF: interprocedural static value-flow analysis in LLVM
Iguana: a practical data-dependent parsing framework
SYCO: a systematic testing tool for concurrent objects