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

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

07:30 - 09:00	BreakfastCatering at Royal

07:30 90m Other		Breakfast Catering

09:00 - 11:00	(Tutorial) KTutorials at Magnolia 17 #tutorial-sat-0900-from-zero-to-prov-magnolia17

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 #tutorial-sat-0900-building-pl-with-llvm-magnolia22

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 #tutorial-sat-0900-neurosymbolic-scallop-magnolia78

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 #tutorial-sat-0900-high-level-exec-spec-magnolia9

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:00 - 11:20	BreakCatering

11:00 20m Coffee break		Break Catering

11:20 - 12:30	(Tutorial) KTutorials at Magnolia 17 #tutorial-sat-0900-from-zero-to-prov-magnolia17

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 #tutorial-sat-0900-building-pl-with-llvm-magnolia22

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 #tutorial-sat-0900-neurosymbolic-scallop-magnolia78

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 #tutorial-sat-0900-high-level-exec-spec-magnolia9

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

12:30 - 14:00	LunchCatering at Royal

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	(Tutorial) CompilersTutorials at Magnolia 17 #tutorial-sat-1400-teaching-compilers-magnolia17

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

14:00 - 15:30	(Tutorial) DafnyTutorials at Magnolia 9 #tutorial-sat-1400-dafny-magnolia9

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

15:30 - 16:00	BreakCatering

15:30 30m Coffee break		Break Catering

16:00 - 17:50	(Tutorial) CompilersTutorials at Magnolia 17 #tutorial-sat-1400-teaching-compilers-magnolia17

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

16:00 - 17:50	(Tutorial) DafnyTutorials at Magnolia 9 #tutorial-sat-1400-dafny-magnolia9

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

07:30 - 09:00	BreakfastCatering at Royal

07:30 90m Other		Breakfast Catering

09:00 - 11:00	(Tutorial) CalyxTutorials at Magnolia 9 #tutorial-sun-0900-dsl-hardware-magnolia9

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:00 - 11:20	BreakCatering

11:00 20m Coffee break		Break Catering

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

12:30 - 14:00	LunchCatering at Royal

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	(Tutorial) WALATutorials at Magnolia 9 #tutorial-sun-1400-static-analysis-wala-magnolia9

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

15:30 - 16:00	BreakCatering

15:30 30m Coffee break		Break Catering

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

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

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