Program - PLDI 2018

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

Filter

Mon 18 Jun

09:00 - 10:30: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Columbus Ballroom B

09:00 - 10:30
Other

Debugging and Profiling Task Parallel Programs with TASKPROF

Santosh Nagarakatte, Adarsh Yoga

10:30 - 11:00: Catering - Coffee Break at Columbus Ballroom Foyer

10:30 - 11:00
Coffee break

11:00 - 12:15: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Columbus Ballroom B

11:00 - 12:15
Other

Debugging and Profiling Task Parallel Programs with TASKPROF

Santosh Nagarakatte, Adarsh Yoga

12:15 - 14:00: Catering - Lunch at Grand Ballroom BCD

12:15 - 14:00
Lunch

14:00 - 15:40: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Columbus Ballroom B

14:00 - 15:40
Other

Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis

Swarat Chaudhuri, Vijayaraghavan Murali, Chris Jermaine

15:40 - 16:10: Catering - Coffee Break at Columbus Ballroom Foyer

15:40 - 16:10
Coffee break

16:10 - 17:35: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Columbus Ballroom B

16:10 - 17:35
Other

Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis

Swarat Chaudhuri, Vijayaraghavan Murali, Chris Jermaine

Tue 19 Jun

09:00 - 10:30: PLDI Tutorials - Declarative Program Analysis with QL at Columbus Ballroom B

09:00 - 10:30
Other

Declarative Program Analysis with QL

Max Schaefer, Michael Peyton Jones, Pavel Avgustinov

09:00 - 10:30: PLDI Tutorials - Static Analysis for C++ with Phasar at Discovery C

09:00 - 10:30
Other

Static Analysis for C++ with Phasar

Eric Bodden, Philipp Dominik Schubert, Ben Hermann

10:30 - 11:00: Catering - Coffee Break at Columbus Ballroom Foyer

10:30 - 11:00
Coffee break

11:00 - 12:15: PLDI Tutorials - Declarative Program Analysis with QL at Columbus Ballroom B

11:00 - 12:15
Other

Declarative Program Analysis with QL

Max Schaefer, Michael Peyton Jones, Pavel Avgustinov

11:00 - 12:15: PLDI Tutorials - Static Analysis for C++ with Phasar at Discovery C

11:00 - 12:15
Other

Static Analysis for C++ with Phasar

Eric Bodden, Philipp Dominik Schubert, Ben Hermann

12:15 - 14:00: Catering - Lunch at Grand Ballroom CD

12:15 - 14:00
Lunch

14:00 - 15:40: PLDI Tutorials - Static Analysis for C++ with Phasar at Discovery C

14:00 - 15:40
Other

Static Analysis for C++ with Phasar

Eric Bodden, Philipp Dominik Schubert, Ben Hermann

14:00 - 15:40: PLDI Tutorials - Verified Low-Level Programming in F* at Columbus Ballroom B

14:00 - 15:40
Other

Verified Low-Level Programming in F*

Jonathan Protzenko, Nikhil Swamy, Tahina Ramananandro

15:40 - 16:10: Catering - Coffee Break at Columbus Ballroom Foyer

15:40 - 16:10
Coffee break

16:10 - 17:35: PLDI Tutorials - Static Analysis for C++ with Phasar at Discovery C

16:10 - 17:35
Other

Static Analysis for C++ with Phasar

Eric Bodden, Philipp Dominik Schubert, Ben Hermann

16:10 - 17:35: PLDI Tutorials - Verified Low-Level Programming in F* at Columbus Ballroom B

16:10 - 17:35
Other

Verified Low-Level Programming in F*

Jonathan Protzenko, Nikhil Swamy, Tahina Ramananandro

Wed 20 Jun

09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom

09:00 - 10:00
Talk

Ranjit Jhala Keynote

10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer

10:30 - 11:00
Coffee break

12:15 - 14:00: Catering - Lunch at Columbus Ballroom

12:15 - 14:00
Lunch

15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer

15:40 - 16:10
Coffee break

Thu 21 Jun

09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom

09:00 - 10:00
Talk

Erik Meijer Keynote

10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer

10:30 - 11:00
Coffee break

12:30 - 14:00: Catering - Lunch (note late start) at Columbus Ballroom

12:30 - 14:00
Lunch

15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer

15:40 - 16:10
Coffee break

Fri 22 Jun

09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom

09:00 - 10:00
Talk

Margaret Martonosi Keynote

Margaret Martonosi

10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer

10:30 - 11:00
Coffee break

12:15 - 14:00: Catering - Lunch at Columbus Ballroom

12:15 - 14:00
Lunch

15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer

15:40 - 16:10
Coffee break

Mon 18 Jun 2018


Room	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
Columbus Ballroom B	PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 09:00 - 10:30																								PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 11:00 - 12:15																																				PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 14:00 - 15:40																										PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 16:10 - 17:35
Columbus Ballroom Foyer																			Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10
Grand Ballroom BCD																																								Catering Lunch 12:15 - 14:00

Tue 19 Jun 2018


Room	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
Columbus Ballroom B	PLDI Tutorials Declarative Program Analysis with QL 09:00 - 10:30																								PLDI Tutorials Declarative Program Analysis with QL 11:00 - 12:15																																				PLDI Tutorials Verified Low-Level Programming in F* 14:00 - 15:40																										PLDI Tutorials Verified Low-Level Programming in F* 16:10 - 17:35
Columbus Ballroom Foyer																			Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10
Discovery C	PLDI Tutorials Static Analysis for C++ with Phasar 09:00 - 10:30																								PLDI Tutorials Static Analysis for C++ with Phasar 11:00 - 12:15																																				PLDI Tutorials Static Analysis for C++ with Phasar 14:00 - 15:40																										PLDI Tutorials Static Analysis for C++ with Phasar 16:10 - 17:35
Grand Ballroom CD																																								Catering Lunch 12:15 - 14:00

Wed 20 Jun 2018


Room	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
Columbus Ballroom																																								Catering Lunch 12:15 - 14:00
Grand Ballroom	PLDI Invited Speakers Keynote 09:00 - 10:00												PLDI Research Papers 10:00 - 10:30
Grand Ballroom AB																									PLDI Research Papers 11:00 - 12:15																																				PLDI Research Papers 14:00 - 15:40																										PLDI Research Papers 16:10 - 17:35
Grand Ballroom CD																									PLDI Research Papers 11:00 - 12:15																																				PLDI Research Papers 14:00 - 15:40																										PLDI Research Papers 16:10 - 17:35
Grand Ballroom Foyer																			Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10

Thu 21 Jun 2018


Room	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
Columbus Ballroom																																											Catering Lunch (note late start) 12:30 - 14:00
Grand Ballroom	PLDI Invited Speakers Keynote 09:00 - 10:00												PLDI Research Papers 10:00 - 10:30
Grand Ballroom AB																									PLDI Research Papers 11:00 - 12:15																																				PLDI Research Papers 14:00 - 15:40																										PLDI Research Papers 16:10 - 17:35
Grand Ballroom CD																									Student Research Competition (SRC) 11:00 - 12:30																																				PLDI Research Papers 14:00 - 15:40																										PLDI Research Papers 16:10 - 17:35
Grand Ballroom Foyer																			Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10

Fri 22 Jun 2018


Room	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
Columbus Ballroom																																								Catering Lunch 12:15 - 14:00
Grand Ballroom	PLDI Invited Speakers Keynote 09:00 - 10:00												PLDI Research Papers 10:00 - 10:30
Grand Ballroom AB																									PLDI Research Papers 11:00 - 12:15																																				PLDI Research Papers 14:00 - 15:40																										PLDI Research Papers 16:10 - 17:35
Grand Ballroom CD																									PLDI Research Papers 11:00 - 12:15																																				PLDI Research Papers 14:00 - 15:40																										PLDI Research Papers 16:10 - 17:35
Grand Ballroom Foyer																			Catering Coffee Break 10:30 - 11:00																																																														Catering Coffee Break 15:40 - 16:10

Mon 18 Jun 2018


Room	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
Columbus Ballroom B	PLDI 2018 PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 09:00 - 10:30																								PLDI 2018 PLDI Tutorials Debugging and Profiling Task Parallel Programs with TASKPROF 11:00 - 12:15																																				PLDI 2018 PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 14:00 - 15:40																										PLDI 2018 PLDI Tutorials Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis 16:10 - 17:35
Columbus Ballroom Foyer																			PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10
Grand Ballroom BCD																																								PLDI 2018 Catering Lunch 12:15 - 14:00

Tue 19 Jun 2018


Room	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
Columbus Ballroom B	PLDI 2018 PLDI Tutorials Declarative Program Analysis with QL 09:00 - 10:30																								PLDI 2018 PLDI Tutorials Declarative Program Analysis with QL 11:00 - 12:15																																				PLDI 2018 PLDI Tutorials Verified Low-Level Programming in F* 14:00 - 15:40																										PLDI 2018 PLDI Tutorials Verified Low-Level Programming in F* 16:10 - 17:35
Columbus Ballroom Foyer																			PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10
Discovery C	PLDI 2018 PLDI Tutorials Static Analysis for C++ with Phasar 09:00 - 10:30																								PLDI 2018 PLDI Tutorials Static Analysis for C++ with Phasar 11:00 - 12:15																																				PLDI 2018 PLDI Tutorials Static Analysis for C++ with Phasar 14:00 - 15:40																										PLDI 2018 PLDI Tutorials Static Analysis for C++ with Phasar 16:10 - 17:35
Grand Ballroom CD																																								PLDI 2018 Catering Lunch 12:15 - 14:00

Wed 20 Jun 2018


Room	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
Columbus Ballroom																																								PLDI 2018 Catering Lunch 12:15 - 14:00
Grand Ballroom	PLDI 2018 PLDI Invited Speakers Ranjit Jhala Keynote 09:00 - 10:00
Grand Ballroom Foyer																			PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10

Thu 21 Jun 2018


Room	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
Columbus Ballroom																																											PLDI 2018 Catering Lunch 12:30 - 14:00
Grand Ballroom	PLDI 2018 PLDI Invited Speakers Erik Meijer Keynote 09:00 - 10:00
Grand Ballroom Foyer																			PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10

Fri 22 Jun 2018


Room	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
Columbus Ballroom																																								PLDI 2018 Catering Lunch 12:15 - 14:00
Grand Ballroom	PLDI 2018 PLDI Invited Speakers Margaret Martonosi Keynote 09:00 - 10:00
Grand Ballroom Foyer																			PLDI 2018 Catering Break 10:30 - 11:00																																																														PLDI 2018 Catering Break 15:40 - 16:10

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