PLDI 2023 - PLDI Tutorials

About
Program

The following tutorials will be co-located with PLDI:

Accepted Tutorials

	Title
	Building Programming Language Infrastructure With LLVM Components Tutorials Sunho Kim, Vassil Vassilev, Lang Hames, Vassil Vassilev
	DSL-based Hardware Generation Tutorials Rachit Nigam, Adrian Sampson, Anshuman Mohan, Griffin Berlstein, Priya Srikumar, Susan Garry
	From Zero to Proving: Building Your First Language with the K Framework Tutorials Bruce Collie
	High-Level Executable Specification and Reasoning for Improving Distributed Algorithms Tutorials Y. Annie Liu, Scott Stoller
	Neurosymbolic Programming in Scallop Tutorials Ziyang Li, Jiani Huang, Mayur Naik
	Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek
	Towards Supporting Universal Static Analysis using WALA Tutorials Rahul Krishna, Raju Pavuluri, Saurabh Sinha, Divya Sankar, Julian Dolby, Rangeet Pan
	What’s new in Dafny, and what is Dafny anyway? Tutorials K. Rustan M. Leino

This program is tentative and subject to change.

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

Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00	(Tutorial) KTutorials at Magnolia 17

09:00 2h		From Zero to Proving: Building Your First Language with the K Framework Tutorials Bruce Collie Runtime Verification, Inc.

09:00 - 11:00	(Tutorial) LLVMTutorials at Magnolia 22

09:00 2h		Building Programming Language Infrastructure With LLVM Components Tutorials Sunho Kim De Anza College, Vassil Vassilev Princeton University, Lang Hames , Vassil Vassilev Princeton University

09:00 - 11:00	(Tutorial) ScallopTutorials at Magnolia 7-8

09:00 2h		Neurosymbolic Programming in Scallop Tutorials Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania

09:00 - 11:00	(Tutorial) DistAlgoTutorials at Magnolia 9

09:00 2h		High-Level Executable Specification and Reasoning for Improving Distributed Algorithms Tutorials Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University

11:20 - 12:30	(Tutorial) KTutorials at Magnolia 17

11:20 70m		From Zero to Proving: Building Your First Language with the K Framework Tutorials Bruce Collie Runtime Verification, Inc.

11:20 - 12:30	(Tutorial) LLVMTutorials at Magnolia 22

11:20 70m		Building Programming Language Infrastructure With LLVM Components Tutorials Sunho Kim De Anza College, Vassil Vassilev Princeton University, Lang Hames , Vassil Vassilev Princeton University

11:20 - 12:30	(Tutorial) ScallopTutorials at Magnolia 7-8

11:20 70m		Neurosymbolic Programming in Scallop Tutorials Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania

11:20 - 12:30	(Tutorial) DistAlgoTutorials at Magnolia 9

11:20 70m		High-Level Executable Specification and Reasoning for Improving Distributed Algorithms Tutorials Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University

14:00 - 15:30	(Tutorial) CompilersTutorials at Magnolia 17

14:00 90m		Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Indiana University, USA

14:00 - 15:30	(Tutorial) DafnyTutorials at Magnolia 9

14:00 90m Tutorial		What’s new in Dafny, and what is Dafny anyway? Tutorials K. Rustan M. Leino Amazon

16:00 - 17:50	(Tutorial) CompilersTutorials at Magnolia 17

16:00 1h50m		Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Indiana University, USA

16:00 - 17:50	(Tutorial) DafnyTutorials at Magnolia 9

16:00 1h50m Tutorial		What’s new in Dafny, and what is Dafny anyway? Tutorials K. Rustan M. Leino Amazon

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

09:00 - 11:00	(Tutorial) CalyxTutorials at Magnolia 9

09:00 2h		DSL-based Hardware Generation Tutorials Rachit Nigam Cornell University, Adrian Sampson Cornell University, Anshuman Mohan Cornell University, Griffin Berlstein Cornell University, Priya Srikumar Cornell University, Susan Garry

11:20 - 12:30	(Tutorial) CalyxTutorials at Magnolia 9

11:20 70m		DSL-based Hardware Generation Tutorials Rachit Nigam Cornell University, Adrian Sampson Cornell University, Anshuman Mohan Cornell University, Griffin Berlstein Cornell University, Priya Srikumar Cornell University, Susan Garry

14:00 - 15:30	(Tutorial) WALATutorials at Magnolia 9

14:00 90m Tutorial		Towards Supporting Universal Static Analysis using WALA Tutorials Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Divya Sankar IBM Research, Julian Dolby IBM Research, Rangeet Pan IBM Research

16:00 - 17:50	(Tutorial) WALATutorials at Magnolia 9

16:00 1h50m Tutorial		Towards Supporting Universal Static Analysis using WALA Tutorials Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Divya Sankar IBM Research, Julian Dolby IBM Research, Rangeet Pan IBM Research

PLDI Tutorials

Accepted Tutorials

This program is tentative and subject to change.

Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change

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

Tracks

Co-hosted Conferences

Workshops

PLDI Tutorials

Accepted Tutorials

This program is tentative and subject to change.

Program Display Configuration

Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change

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

Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change

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