PLDI 2018 - PLDI Tutorials

About
Program

PLDI will host five tutorials (more details will be posted soon):

T1 (Mon AM): Debugging and Profiling Task Parallel Programs with TASKPROF
T2 (Mon PM): Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
T3 (Tue AM): Declarative Program Analysis with QL
T4 (Tue all-day): Static Analysis for C++ with Phasar
T5 (Tue PM): Verified Low-Level Programming in F*

Tutorials

	Title
	Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis PLDI Tutorials Swarat Chaudhuri, Vijayaraghavan Murali, Chris Jermaine
	Debugging and Profiling Task Parallel Programs with TASKPROF PLDI Tutorials Santosh Nagarakatte, Adarsh Yoga
	Declarative Program Analysis with QL PLDI Tutorials Michael Peyton Jones, Aditya Sharad, Jonas Jensen
	Static Analysis for C++ with Phasar PLDI Tutorials Eric Bodden, Philipp Dominik Schubert, Ben Hermann
	Verified Low-Level Programming in F* PLDI Tutorials Jonathan Protzenko, Nikhil Swamy, Tahina Ramananandro

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Mon 18 Jun
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Debugging and Profiling Task Parallel Programs with TASKPROFPLDI Tutorials at Innovation

09:00 90m Other		Debugging and Profiling Task Parallel Programs with TASKPROF PLDI Tutorials Santosh Nagarakatte Rutgers University, USA, Adarsh Yoga Rutgers University, USA

11:00 - 12:15	Debugging and Profiling Task Parallel Programs with TASKPROFPLDI Tutorials at Innovation

11:00 75m Other		Debugging and Profiling Task Parallel Programs with TASKPROF PLDI Tutorials Santosh Nagarakatte Rutgers University, USA, Adarsh Yoga Rutgers University, USA

14:00 - 15:40	Bayou: Deep Learning over “Big Code” for Program Analysis and SynthesisPLDI Tutorials at Innovation

14:00 1h40m Other		Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis PLDI Tutorials Swarat Chaudhuri Rice University, Vijayaraghavan Murali Rice University, USA, Chris Jermaine Rice University

16:10 - 17:35	Bayou: Deep Learning over “Big Code” for Program Analysis and SynthesisPLDI Tutorials at Innovation

16:10 85m Other		Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis PLDI Tutorials Swarat Chaudhuri Rice University, Vijayaraghavan Murali Rice University, USA, Chris Jermaine Rice University

Tue 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters

09:00 90m Other		Static Analysis for C++ with Phasar PLDI Tutorials Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn

09:00 - 10:30	Declarative Program Analysis with QLPLDI Tutorials at Discovery C

09:00 90m Other		Declarative Program Analysis with QL PLDI Tutorials Michael Peyton Jones Semmle, Aditya Sharad Semmle, Jonas Jensen Semmle

11:00 - 12:15	Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters

11:00 75m Other		Static Analysis for C++ with Phasar PLDI Tutorials Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn

11:00 - 12:15	Declarative Program Analysis with QLPLDI Tutorials at Discovery C

11:00 75m Other		Declarative Program Analysis with QL PLDI Tutorials Michael Peyton Jones Semmle, Aditya Sharad Semmle, Jonas Jensen Semmle

14:00 - 15:40	Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters

14:00 1h40m Other		Static Analysis for C++ with Phasar PLDI Tutorials Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn

14:00 - 15:40	Verified Low-Level Programming in F*PLDI Tutorials at Discovery C

14:00 1h40m Other		Verified Low-Level Programming in F* PLDI Tutorials Jonathan Protzenko Microsoft Research, Redmond, Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, n.n.

16:10 - 17:35	Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters

16:10 85m Other		Static Analysis for C++ with Phasar PLDI Tutorials Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn

16:10 - 17:35	Verified Low-Level Programming in F*PLDI Tutorials at Discovery C

16:10 85m Other		Verified Low-Level Programming in F* PLDI Tutorials Jonathan Protzenko Microsoft Research, Redmond, Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, n.n.

PLDI Tutorials

Tutorials

Mon 18 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tue 19 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

PLDI Tutorials

Tutorials

Program Display Configuration

Mon 18 JunDisplayed time zone: Eastern Time (US & Canada) change

Tue 19 JunDisplayed time zone: Eastern Time (US & Canada) change

Mon 18 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tue 19 Jun
Displayed time zone: Eastern Time (US & Canada) change