PLDI 2017 - PLDI Tutorials

About
Program

PLDI hosts multiple tutorials on diverse subjects related to compilation and programming language design. Click on the events below for more information.

Tutorials and Hackathons

	Title
	Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials Sukyoung Ryu, Alexander Jordan, Dongsun Kim
	Building your own modular static analyzer with Facebook Infer PLDI Tutorials Dino Distefano, Peter O'Hearn, Sam Blackshear
	Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz, Herbert Jordan, Pavle Subotic
	Graal: High Performance Compilation for Managed Languages PLDI Tutorials Christian Wimmer
	P4: Programming the Network Data Plane PLDI Tutorials Nate Foster, Cole Schlesinger, Calin Cascaval
	Polyhedral Compilation PLDI Tutorials Tobias Grosser, Oleksandr Zinenko
	Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki Vazou, Nadia Polikarpova, Ranjit Jhala Media Attached
	Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf, Kunle Olukotun, Markus Püschel
	WALA Hack-A-Thon PLDI Tutorials Julian Dolby, Karim Ali
	Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen Link to publication

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:30	P4: Programming the Network Data PlanePLDI Tutorials at Vertex WS215

08:30 2h Other		P4: Programming the Network Data Plane PLDI Tutorials Nate Foster Cornell University, Cole Schlesinger Samsung Research America, Calin Cascaval Barefoot Networks

11:00 - 12:30	P4: Programming the Network Data Plane (cont'd)PLDI Tutorials at Vertex WS215

11:00 90m Other		P4: Programming the Network Data Plane PLDI Tutorials Nate Foster Cornell University, Cole Schlesinger Samsung Research America, Calin Cascaval Barefoot Networks

14:00 - 15:30	Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials at Vertex WS215

14:00 90m Other		Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg

16:00 - 18:00	Bug detection in JavaScript web apps using the SAFE framework (cont'd)PLDI Tutorials at Vertex WS215

16:00 26h Other		Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	Refinement Types for Program Verification and SynthesisPLDI Tutorials at Vertex WS215

09:00 60m Other		Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki Vazou University of Maryland, Nadia Polikarpova MIT CSAIL, USA, Ranjit Jhala University of California at San Diego, USA Media Attached

09:00 - 10:00	WALA Hack-A-ThonPLDI Tutorials at Vertex WS218

09:00 60m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

09:00 - 10:00	Building your own modular static analyzer with Facebook InferPLDI Tutorials at Vertex WS219

09:00 60m Other		Building your own modular static analyzer with Facebook Infer PLDI Tutorials Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook

10:30 - 12:10	Refinement Types for Program Verification and Synthesis (cont'd)PLDI Tutorials at Vertex WS217

10:30 1h40m Other		Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki Vazou University of Maryland, Nadia Polikarpova MIT CSAIL, USA, Ranjit Jhala University of California at San Diego, USA Media Attached

10:30 - 12:10	WALA Hack-A-Thon (2)PLDI Tutorials at Vertex WS218

10:30 1h40m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

10:30 - 12:10	Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219

10:30 1h40m Other		Building your own modular static analyzer with Facebook Infer PLDI Tutorials Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook

13:40 - 15:20	WALA Hack-A-Thon (3)PLDI Tutorials at Vertex WS218

13:40 1h40m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

13:40 - 15:20	Polyhedral CompilationPLDI Tutorials at Vertex WS219

13:40 1h40m Other		Polyhedral Compilation PLDI Tutorials Tobias Grosser ETH Zurich, Oleksandr Zinenko Inria

15:50 - 17:00	WALA Hack-A-Thon (4)PLDI Tutorials at Vertex WS218

15:50 70m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

15:50 - 17:00	Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219

15:50 70m Other		Polyhedral Compilation PLDI Tutorials Tobias Grosser ETH Zurich, Oleksandr Zinenko Inria

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	Graal: High Performance Compilation for Managed LanguagesPLDI Tutorials at Vertex WS208

09:00 60m Other		Graal: High Performance Compilation for Managed Languages PLDI Tutorials Christian Wimmer

09:00 - 10:00	Scala, LMS and Delite for High-Performance DSLs and Program GeneratorsPLDI Tutorials at Vertex WS216

09:00 60m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

09:00 - 10:00	Engineering Static Analyzers with SouffléPLDI Tutorials at Vertex WS217

09:00 60m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

09:00 - 10:00	Writing Verified Programs in CakeMLPLDI Tutorials at Vertex WS219

09:00 60m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

10:30 - 12:10	Graal: High Performance Compilation for Managed Languages (cont'd)PLDI Tutorials at Vertex WS208

10:30 1h40m Other		Graal: High Performance Compilation for Managed Languages PLDI Tutorials Christian Wimmer

10:30 - 12:10	Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)PLDI Tutorials at Vertex WS216

10:30 1h40m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

10:30 - 12:10	Engineering Static Analyzers with Soufflé (2)PLDI Tutorials at Vertex WS217

10:30 1h40m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

10:30 - 12:10	Writing Verified Programs in CakeML (2)PLDI Tutorials at Vertex WS219

10:30 1h40m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

13:40 - 15:20	Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)PLDI Tutorials at Vertex WS216

13:40 1h40m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

13:40 - 15:20	Engineering Static Analyzers with Soufflé (3)PLDI Tutorials at Vertex WS217

13:40 1h40m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

13:40 - 15:20	Writing Verified Programs in CakeML (3)PLDI Tutorials at Vertex WS219

13:40 1h40m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

15:50 - 17:00	Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)PLDI Tutorials at Vertex WS216

15:50 70m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

15:50 - 17:00	Engineering Static Analyzers with Soufflé (4)PLDI Tutorials at Vertex WS217

15:50 70m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

15:50 - 17:00	Writing Verified Programs in CakeML (4)PLDI Tutorials at Vertex WS219

15:50 70m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

PLDI Tutorials

Tutorials and Hackathons

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Co-hosted Conferences

Workshops

PLDI Tutorials

Tutorials and Hackathons

Program Display Configuration

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change