Program - CC 2017

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

07:30 - 08:30	BreakfastCatering at 6th floor

07:30 60m Break		Breakfast Catering

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:10 - 10:30	BreakCatering at 6th floor

10:10 20m Coffee break		Break Catering

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 Ulysse Beaugnon , Antoine Pouille ENS, France, Marc Pouzet , Jacques Pienaar Google, USA, Albert Cohen INRIA DOI

12:10 - 13:30	LunchCatering at 6th floor

12:10 80m Lunch		Lunch Catering

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	TypesResearch Papers at 404

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

18:00 - 20:00	ReceptionEvent at Salon H

18:00 2h Social Event		Welcome Reception and Poster Session Event

Mon 6 Feb
Displayed time zone: Saskatchewan, Central America change

07:30 - 08:30	BreakfastCatering at Salon H - Prefunction

07:30 60m Break		Breakfast Catering

08:45 - 09:55	CGO/PPoPP KeynoteKeynote at Salon H

08:45 70m Talk		It's time for a new old language Keynote Guy L. Steele Jr. Oracle Labs Pre-print

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

CC 2017 Program

Sun 5 Feb
Displayed time zone: Saskatchewan, Central America change

Mon 6 Feb
Displayed time zone: Saskatchewan, Central America change

Tracks

CC 2017 Program

Switch Program View

Program Display Configuration

Sun 5 FebDisplayed time zone: Saskatchewan, Central America change

Mon 6 FebDisplayed time zone: Saskatchewan, Central America change

Get Calendar (iCal)

Sun 5 Feb
Displayed time zone: Saskatchewan, Central America change

Mon 6 Feb
Displayed time zone: Saskatchewan, Central America change