Program - CC 2017

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
Times are displayed in time zone: Saskatchewan, Central America change

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

	07:30 - 08:30 Break		Breakfast Catering

	09:00 - 09:10: WelcomeResearch Papers at 404 Chair(s): Peng WuHuawei America Research Lab, Sebastian HackSaarland University

	09:00 - 09:10 Day opening		Welcome Research Papers Sebastian HackSaarland University, Peng WuHuawei America Research Lab

	09:10 - 10:10: KeynoteResearch Papers at 404 Chair(s): Peng WuHuawei America Research Lab

	09:10 - 10:10 Talk		Keynote: Why the End-Game for Moore’s Law will be driven by a Compiler Renaissance Research Papers Vivek SarkarRice University, USA

	10:10 - 10:30: BreakCatering at 6th floor

	10:10 - 10:30 Coffee break		Break Catering

	10:30 - 12:10: Concurrency & ParallelismResearch Papers at 404 Chair(s): Sebastian HackSaarland University

	10:30 - 10:55 Talk		Partially Redundant Fence Elimination for x86, ARM, and Power Processors Research Papers Robin MorissetENS, France, Francesco Zappa NardelliInria, France DOI
	10:55 - 11:20 Talk		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 - 11:45 Talk		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 - 12:10 Talk		Optimization Space Pruning without Regrets Research Papers Ulysse Beaugnon, Antoine PouilleENS, France, Marc Pouzet, Jacques PienaarGoogle, USA, Albert CohenINRIA DOI

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

	12:10 - 13:30 Lunch		Lunch Catering

	13:30 - 15:10: CompilersResearch Papers at 404

	13:30 - 13:55 Talk		Compile-Time Function Memoization Research Papers Arjun SureshOhio State University, USA, Erven RohouInria, France, André SeznecInria, France DOI
	13:55 - 14:20 Talk		One Compiler: Deoptimization to Optimized Code Research Papers Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs DOI
	14:20 - 14:45 Talk		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 - 15:10 Talk		From Functional Programs to Pipelined Dataflow Circuits Research Papers Richard TownsendColumbia University, USA, Martha A. KimColumbia University, Stephen Edwards DOI

	15:30 - 16:30: TypesResearch Papers at 404

	15:30 - 16:00 Talk		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 - 16:30 Talk		Let It Recover: Multiparty Protocol-Induced Recovery Research Papers Rumyana NeykovaImperial College London, UK, Nobuko YoshidaImperial College London DOI

	18:00 - 20:00: ReceptionEvent at Salon H

	18:00 - 20:00 Social Event		Welcome Reception and Poster Session Event

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change

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

	07:30 - 08:30 Break		Breakfast Catering

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

	08:45 - 09:55 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 AmaralUniversity of Alberta

	10:20 - 10:48 Talk		Data Structure–Aware Heap Partitioning Research Papers Nouraldin JaberPurdue University, USA, Milind KulkarniPurdue University DOI
	10:48 - 11:16 Talk		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 - 11:45 Talk		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

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change


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
404					Research Papers Welcome	Research Papers Keynote				Research Papers Concurrency & Parallelism								Research Papers Compilers				Research Papers Types
6th floor		Catering Breakfast							Catering Break					Catering Lunch
Salon H															Event Reception

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change


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

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change


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

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change


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 Research Papers Data Structure–Aware Heap Partitioning 10:20 - 10:48			CC Research Papers Dynamic Symbolic Execution for Polymorphism 10:48 - 11:16		CC Research Papers rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Functio ... 11:16 - 11:45
Salon H								CC Keynote It's time for a new old language 08:45 - 09:55
Salon H - Prefunction			CC 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

CC 2017 Program

Filter Program

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Research Papers

Research Papers

Research Papers

Research Papers

Research Papers

Catering

Catering

Catering

Event

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Research Papers

Keynote

Catering

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Tracks

CC 2017 Program

Filter Program

Program Display Configuration

Sun 5 Feb Times are displayed in time zone: Saskatchewan, Central America change

Mon 6 Feb Times are displayed in time zone: Saskatchewan, Central America change

Sun 5 Feb Times are displayed in time zone: Saskatchewan, Central America change

Research Papers

Research Papers

Research Papers

Research Papers

Research Papers

Catering

Catering

Catering

Event

Mon 6 Feb Times are displayed in time zone: Saskatchewan, Central America change

Research Papers

Keynote

Catering

Sun 5 Feb Times are displayed in time zone: Saskatchewan, Central America change

Mon 6 Feb Times are displayed in time zone: Saskatchewan, Central America change

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change

Mon 6 Feb
Times are displayed in time zone: Saskatchewan, Central America change