Sun 5 Feb Times are displayed in time zone: Saskatchewan, Central America change
09:00 - 09:10 | WelcomeResearch Papers at 404 Chair(s): Peng WuHuawei America Research Lab, Sebastian HackSaarland University | ||
09:00 10mDay opening | Welcome Research Papers |
09:10 - 10:10 | |||
09:10 60mTalk | Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler Renaissance Research Papers Vivek SarkarRice University, USA |
10:30 - 12:10 | |||
10:30 25mTalk | Partially Redundant Fence Elimination for x86, ARM, and Power Processors Research Papers DOI | ||
10:55 25mTalk | Lightweight Data Race Detection for Production Runs Research Papers Swarnendu BiswasUniversity of Texas at Austin, Man CaoOhio State University, Minjia ZhangOhio State University, Michael D. BondOhio State University, Benjamin P. WoodWellesley College, USA DOI | ||
11:20 25mTalk | Optimized Two-Level Parallelization for GPU Accelerators using the Polyhedral Model Research Papers Jun ShirakoRice University, USA, Akihiro HayashiRice University, USA, Vivek SarkarRice University, USA DOI | ||
11:45 25mTalk | Optimization Space Pruning without Regrets Research Papers Ulysse Beaugnon, Antoine PouilleENS, France, Marc Pouzet, Jacques PienaarGoogle, USA, Albert CohenINRIA DOI |
13:30 - 15:10 | |||
13:30 25mTalk | Compile-Time Function Memoization Research Papers DOI | ||
13:55 25mTalk | One Compiler: Deoptimization to Optimized Code Research Papers Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs DOI | ||
14:20 25mTalk | Static Optimization in PHP 7 Research Papers Nikita PopovTU Berlin, Germany, Biagio CosenzaTU Berlin, Germany, Ben JuurlinkTU Berlin, Germany, Dmitry StogovZend Technologies, Russia DOI | ||
14:45 25mTalk | From Functional Programs to Pipelined Dataflow Circuits Research Papers DOI |
15:30 - 16:30 | |||
15:30 30mTalk | Granullar: Gradual Nullable Types for Java Research Papers Dan BrotherstonUniversity of Waterloo, Canada, Werner DietlUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada DOI | ||
16:00 30mTalk | Let It Recover: Multiparty Protocol-Induced Recovery Research Papers DOI |
Mon 6 Feb Times are displayed in time zone: Saskatchewan, Central America change
10:20 - 11:45 | |||
10:20 28mTalk | Data Structure–Aware Heap Partitioning Research Papers DOI | ||
10:48 28mTalk | Dynamic Symbolic Execution for Polymorphism Research Papers Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Yi LuOracle, Jingling XueUNSW Australia DOI | ||
11:16 28mTalk | rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries Research Papers Alessandro Di FedericoPolitecnico di Milano, Italy, Mathias PayerPurdue University, Giovanni AgostaPolitecnico 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 |
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.
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 | |
Static Optimization in PHP 7 Research Papers DOI | |
Welcome Research Papers | |
rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries Research Papers DOI |