Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 5 Feb

Displayed time zone: Saskatchewan, Central America change

09:00 - 09:10
WelcomeResearch Papers at 404
Chair(s): Sebastian Hack Saarland University, Peng Wu Huawei America Research Lab
09:00
10m
Day opening
Welcome
Research Papers
Sebastian Hack Saarland University, Peng Wu Huawei America Research Lab
09:10 - 10:10
KeynoteResearch Papers at 404
Chair(s): Peng Wu Huawei America Research Lab
09:10
60m
Talk
Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler Renaissance
Research Papers
Vivek Sarkar Rice University, USA
10:30 - 12:10
Concurrency & ParallelismResearch Papers at 404
Chair(s): Sebastian Hack Saarland University
10:30
25m
Talk
Partially Redundant Fence Elimination for x86, ARM, and Power Processors
Research Papers
Robin Morisset ENS, France, Francesco Zappa Nardelli Inria, France
DOI
10:55
25m
Talk
Lightweight Data Race Detection for Production Runs
Research Papers
Swarnendu Biswas University of Texas at Austin, Man Cao Ohio State University, Minjia Zhang Ohio State University, Michael D. Bond Ohio State University, Benjamin P. Wood Wellesley College, USA
DOI
11:20
25m
Talk
Optimized Two-Level Parallelization for GPU Accelerators using the Polyhedral Model
Research Papers
Jun Shirako Rice University, USA, Akihiro Hayashi Rice University, USA, Vivek Sarkar Rice University, USA
DOI
11:45
25m
Talk
Optimization Space Pruning without Regrets
Research Papers
DOI
13:30 - 15:10
CompilersResearch Papers at 404
13:30
25m
Talk
Compile-Time Function Memoization
Research Papers
Arjun Suresh Ohio State University, USA, Erven Rohou Inria, France, André Seznec Inria, France
DOI
13:55
25m
Talk
One Compiler: Deoptimization to Optimized Code
Research Papers
Christian Wimmer , Vojin Jovanovic Oracle Labs, Erik Eckstein Oracle Labs, USA, Thomas Wuerthinger Oracle Labs
DOI
14:20
25m
Talk
Static Optimization in PHP 7
Research Papers
Nikita Popov TU Berlin, Germany, Biagio Cosenza TU Berlin, Germany, Ben Juurlink TU Berlin, Germany, Dmitry Stogov Zend Technologies, Russia
DOI
14:45
25m
Talk
From Functional Programs to Pipelined Dataflow Circuits
Research Papers
Richard Townsend Columbia University, USA, Martha A. Kim Columbia University, Stephen Edwards
DOI
15:30 - 16:30
15:30
30m
Talk
Granullar: Gradual Nullable Types for Java
Research Papers
Dan Brotherston University of Waterloo, Canada, Werner Dietl University of Waterloo, Canada, Ondřej Lhoták University of Waterloo, Canada
DOI
16:00
30m
Talk
Let It Recover: Multiparty Protocol-Induced Recovery
Research Papers
Rumyana Neykova Imperial College London, UK, Nobuko Yoshida Imperial College London
DOI

Mon 6 Feb

Displayed time zone: Saskatchewan, Central America change

10:20 - 11:45
Program AnalysisResearch Papers at 404
Chair(s): Jose Nelson Amaral University of Alberta
10:20
28m
Talk
Data Structure–Aware Heap Partitioning
Research Papers
Nouraldin Jaber Purdue University, USA, Milind Kulkarni Purdue University
DOI
10:48
28m
Talk
Dynamic Symbolic Execution for Polymorphism
Research Papers
Lian Li Institute of Computing Technology at Chinese Academy of Sciences, China, Yi Lu Oracle, Jingling Xue UNSW Australia
DOI
11:16
28m
Talk
rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries
Research Papers
Alessandro Di Federico Politecnico di Milano, Italy, Mathias Payer Purdue University, Giovanni Agosta Politecnico di Milano, Italy
DOI

Not scheduled yet

Not scheduled yet
Talk
CGO/PPoPP Keynote: It's time for a new old language
Research Papers
Guy L. Steele Jr. Oracle Labs
Pre-print

Accepted Papers

Title
Compile-Time Function Memoization
Research Papers
DOI
Data Structure–Aware Heap Partitioning
Research Papers
DOI
Dynamic Symbolic Execution for Polymorphism
Research Papers
DOI
From Functional Programs to Pipelined Dataflow Circuits
Research Papers
DOI
Granullar: Gradual Nullable Types for Java
Research Papers
DOI
Let It Recover: Multiparty Protocol-Induced Recovery
Research Papers
DOI
Lightweight Data Race Detection for Production Runs
Research Papers
DOI
One Compiler: Deoptimization to Optimized Code
Research Papers
DOI
Optimization Space Pruning without Regrets
Research Papers
DOI
Optimized Two-Level Parallelization for GPU Accelerators using the Polyhedral Model
Research Papers
DOI
Partially Redundant Fence Elimination for x86, ARM, and Power Processors
Research Papers
DOI
rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries
Research Papers
DOI
Static Optimization in PHP 7
Research Papers
DOI
Welcome
Research Papers

Call for Papers

The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case.

Original contributions are solicited on the topics of interest which include, but are not limited to:

  • Compilation and interpretation techniques, including program representation, analysis, and transformation; code generation, optimization, and synthesis; the verification thereof
  • Run-time techniques, including memory management, virtual machines, and dynamic and just-in-time compilation
  • Programming tools, including refactoring editors, checkers, verifiers, compilers, debuggers, and profilers
  • Techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments
  • Design and implementation of novel language constructs, programming models, and domain-specific languages

CC 2017 is the 26th edition of the conference. It will be co-located with CGO, HPCA, and PPoPP and take place Feb 5-6 in Austin, TX, USA.

Submission

Papers should be submitted electronically via EasyChair. Papers must be written in English and be submitted in pdf in ACM SIGPLAN proceedings format, using the default 9pt font size. The proceedings will be published in the ACM Digital Library and will be made available freely for the period around the conference.

Both regular papers (up to 11 pages) and tool papers (up to 2 + 3 pages), are invited. In tool papers the first part (2 pages) should describe the tool and the second (3 pages) explain the contents of the demo that will be presented with examples and screenshots.

Submissions must adhere strictly to the page limits, including bibliography, figures, or appendices. Submissions that are clearly too long may be rejected immediately. Additional material intended for reviewers but not for publication in the final version (listings, data, proofs) may be included in a clearly marked appendix. Submitted papers must be unpublished and not be submitted for publication elsewhere. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation.