Program - CC 2017

Write a Blog >>

Sun 5 - Mon 6 February 2017 Austin, Texas, United States

Filter

Sun 5 Feb

07:30 - 08:30: Catering - Breakfast at 6th floor

07:30 - 08:30
Break

09:00 - 09:10: Research Papers - Welcome at 404
Chair(s): Peng Wu, Sebastian Hack

09:00 - 09:10
Day opening

Sebastian Hack, Peng Wu

09:10 - 10:10: Research Papers - Keynote at 404
Chair(s): Peng Wu

09:10 - 10:10
Talk

Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler Renaissance

10:10 - 10:30: Catering - Break at 6th floor

10:10 - 10:30
Coffee break

10:30 - 12:10: Research Papers - Concurrency & Parallelism at 404
Chair(s): Sebastian Hack

10:30 - 10:55
Talk

Partially Redundant Fence Elimination for x86, ARM, and Power Processors

Robin Morisset, Francesco Zappa Nardelli

10:55 - 11:20
Talk

Lightweight Data Race Detection for Production Runs

Swarnendu Biswas, Man Cao, Minjia Zhang, Michael Bond, Benjamin P. Wood

11:20 - 11:45
Talk

Optimized Two-Level Parallelization for GPU Accelerators using the Polyhedral Model

Jun Shirako, Akihiro Hayashi, Vivek Sarkar

11:45 - 12:10
Talk

Optimization Space Pruning without Regrets

Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques Pienaar, Albert Cohen

12:10 - 13:30: Catering - Lunch at 6th floor

12:10 - 13:30
Lunch

13:30 - 15:10: Research Papers - Compilers at 404

13:30 - 13:55
Talk

Compile-Time Function Memoization

Arjun Suresh, Erven Rohou, André Seznec

13:55 - 14:20
Talk

One Compiler: Deoptimization to Optimized Code

Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Wuerthinger

14:20 - 14:45
Talk

Static Optimization in PHP 7

Nikita Popov, Biagio Cosenza, Ben Juurlink, Dmitry Stogov

14:45 - 15:10
Talk

From Functional Programs to Pipelined Dataflow Circuits

Richard Townsend, Martha A. Kim, Stephen Edwards

15:30 - 16:30: Research Papers - Types at 404

15:30 - 16:00
Talk

Granullar: Gradual Nullable Types for Java

Dan Brotherston, Werner Dietl, Ondřej Lhoták

16:00 - 16:30
Talk

Let It Recover: Multiparty Protocol-Induced Recovery

Rumyana Neykova, Nobuko Yoshida

18:00 - 20:00: Event - Reception at Salon H

18:00 - 20:00
Social Event

Welcome Reception and Poster Session

Mon 6 Feb

07:30 - 08:30: Catering - Breakfast at Salon H - Prefunction

07:30 - 08:30
Break

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

08:45 - 09:55
Talk

It's time for a new old language

Guy L. Steele Jr.

10:20 - 11:45: Research Papers - Program Analysis at 404
Chair(s): Jose Nelson Amaral

10:20 - 10:48
Talk

Data Structure–Aware Heap Partitioning

Nouraldin Jaber, Milind Kulkarni

10:48 - 11:16
Talk

Dynamic Symbolic Execution for Polymorphism

Lian Li, Yi Lu, Jingling Xue

11:16 - 11:45
Talk

rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries

Alessandro Di Federico, Mathias Payer, Giovanni Agosta

Sun 5 Feb 2017


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
404																									Research Papers Welcome 09:00 - 09:10		Research Papers Keynote 09:10 - 10:10																Research Papers Concurrency & Parallelism 10:30 - 12:10																																				Research Papers Compilers 13:30 - 15:10																								Research Papers Types 15:30 - 16:30
6th floor							Catering Breakfast 07:30 - 08:30																																Catering Break 10:10 - 10:30																								Catering Lunch 12:10 - 13:30
Salon H																																																																	Event Reception 18:00 - 20:00

Mon 6 Feb 2017


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30
404																																									Research Papers Program Analysis 10:20 - 11:45
Salon H																						Keynote CGO/PPoPP Keynote 08:45 - 09:55
Salon H - Prefunction							Catering Breakfast 07:30 - 08:30

Sun 5 Feb 2017


Room	7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
404																									CC 2017 Research Papers Welcome 09:00 - 09:10		CC 2017 Research Papers Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler ... 09:10 - 10:10																CC 2017 Research Papers Partially Redundant Fence Elimination for x86, ARM, and Power Processors 10:30 - 10:55					CC 2017 Research Papers Lightweight Data Race Detection for Production Runs 10:55 - 11:20					CC 2017 Research Papers Optimized Two-Level Parallelization for GPU Accelerators using the Poly ... 11:20 - 11:45					CC 2017 Research Papers Optimization Space Pruning without Regrets 11:45 - 12:10																					CC 2017 Research Papers Compile-Time Function Memoization 13:30 - 13:55					CC 2017 Research Papers One Compiler: Deoptimization to Optimized Code 13:55 - 14:20					CC 2017 Research Papers Static Optimization in PHP 7 14:20 - 14:45					CC 2017 Research Papers From Functional Programs to Pipelined Dataflow Circuits 14:45 - 15:10									CC 2017 Research Papers Granullar: Gradual Nullable Types for Java 15:30 - 16:00						CC 2017 Research Papers Let It Recover: Multiparty Protocol-Induced Recovery 16:00 - 16:30
6th floor							CC 2017 Catering Breakfast 07:30 - 08:30																																CC 2017 Catering Break 10:10 - 10:30																								CC 2017 Catering Lunch 12:10 - 13:30
Salon H																																																																	CC 2017 Event Welcome Reception and Poster Session 18:00 - 20:00

Mon 6 Feb 2017


Room	7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
404																																									CC 2017 Research Papers Data Structure–Aware Heap Partitioning 10:20 - 10:48						CC 2017 Research Papers Dynamic Symbolic Execution for Polymorphism 10:48 - 11:16					CC 2017 Research Papers rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Functio ... 11:16 - 11:45
Salon H																						CC 2017 Keynote It's time for a new old language 08:45 - 09:55
Salon H - Prefunction							CC 2017 Catering Breakfast 07:30 - 08:30

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format