Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States

Sun 5 Feb

CC-2017-papers
09:00 - 09:10: Research Papers - Welcome at 404
Chair(s): Peng WuHuawei America Research Lab, Sebastian HackSaarland University
CC-2017-papers148628160000009:00 - 09:10
Day opening
Sebastian HackSaarland University, Peng WuHuawei America Research Lab
CC-2017-papers
09:10 - 10:10: Research Papers - Keynote at 404
Chair(s): Peng WuHuawei America Research Lab
CC-2017-papers148628220000009:10 - 10:10
Talk
Vivek SarkarRice University, USA
CC-2017-papers
10:30 - 12:10: Research Papers - Concurrency & Parallelism at 404
Chair(s): Sebastian HackSaarland University
CC-2017-papers148628700000010:30 - 10:55
Talk
Robin MorissetENS, France, Francesco Zappa NardelliInria, France
DOI
CC-2017-papers148628850000010:55 - 11:20
Talk
Swarnendu BiswasUniversity of Texas at Austin, Man CaoOhio State University, Minjia ZhangOhio State University, Michael BondOhio State University, Benjamin P. WoodWellesley College, USA
DOI
CC-2017-papers148629000000011:20 - 11:45
Talk
Jun ShirakoRice University, USA, Akihiro HayashiRice University, USA, Vivek SarkarRice University, USA
DOI
CC-2017-papers148629150000011:45 - 12:10
Talk
DOI
CC-2017-papers
13:30 - 15:10: Research Papers - Compilers at 404
CC-2017-papers148629780000013:30 - 13:55
Talk
Arjun SureshOhio State University, USA, Erven RohouInria, France, André SeznecInria, France
DOI
CC-2017-papers148629930000013:55 - 14:20
Talk
Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs
DOI
CC-2017-papers148630080000014:20 - 14:45
Talk
Nikita PopovTU Berlin, Germany, Biagio CosenzaTU Berlin, Germany, Ben JuurlinkTU Berlin, Germany, Dmitry StogovZend Technologies, Russia
DOI
CC-2017-papers148630230000014:45 - 15:10
Talk
Richard TownsendColumbia University, USA, Martha A. KimColumbia University, Stephen Edwards
DOI
CC-2017-papers
15:30 - 16:30: Research Papers - Types at 404
CC-2017-papers148630500000015:30 - 16:00
Talk
Dan BrotherstonUniversity of Waterloo, Canada, Werner DietlUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo, Canada
DOI
CC-2017-papers148630680000016:00 - 16:30
Talk
Rumyana NeykovaImperial College London, UK, Nobuko YoshidaImperial College London
DOI

Mon 6 Feb

CC-2017-papers
10:20 - 11:45: Research Papers - Program Analysis at 404
Chair(s): Jose Nelson AmaralUniversity of Alberta
CC-2017-papers148637280000010:20 - 10:48
Talk
Nouraldin JaberPurdue University, USA, Milind KulkarniPurdue University
DOI
CC-2017-papers148637450000010:48 - 11:16
Talk
Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Yi LuOracle, Jingling XueUNSW Australia
DOI
CC-2017-papers148637620000011:16 - 11:45
Talk
Alessandro Di FedericoPolitecnico di Milano, Italy, Mathias PayerPurdue University, Giovanni AgostaPolitecnico di Milano, Italy
DOI

Not scheduled yet

CC-2017-papersNot scheduled yet
Talk
Guy L. Steele Jr.Oracle Labs

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.