Magnolia 9 - PLDI 2023

VenueOrlando World Center Marriott

Room nameMagnolia 9

Room InformationNo extra information available

Program

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) 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: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

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

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

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: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 #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

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

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


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
Magnolia 9	Tutorials (Tutorial) DistAlgo																												Tutorials (Tutorial) DistAlgo																																Tutorials (Tutorial) Dafny																								Tutorials (Tutorial) Dafny

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


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
Magnolia 9	Tutorials (Tutorial) Calyx																												Tutorials (Tutorial) Calyx																																Tutorials (Tutorial) WALA																								Tutorials (Tutorial) WALA

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


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
Magnolia 9	PLDI Tutorials High-Level Executable Specification and Reasoning for Improving Distrib ... 09:00 - 11:00																												PLDI Tutorials High-Level Executable Specification and Reasoning for Improving Distrib ... 11:20 - 12:30																																PLDI Tutorials What’s new in Dafny, and what is Dafny anyway? 14:00 - 15:30																								PLDI Tutorials What’s new in Dafny, and what is Dafny anyway? 16:00 - 17:50

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


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
Magnolia 9	PLDI Tutorials DSL-based Hardware Generation 09:00 - 11:00																												PLDI Tutorials DSL-based Hardware Generation 11:20 - 12:30																																PLDI Tutorials Towards Supporting Universal Static Analysis using WALA 14:00 - 15:30																								PLDI Tutorials Towards Supporting Universal Static Analysis using WALA 16:00 - 17:50

Room information: Magnolia 9

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

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

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

Tutorials

Tutorials

Tutorials

Tutorials

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

Tutorials

Tutorials

Tutorials

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

Room information: Magnolia 9

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 JunDisplayed time zone: Eastern Time (US & Canada) change

Tutorials

Tutorials

Tutorials

Tutorials

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

Tutorials

Tutorials

Tutorials

Tutorials

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

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

Sun 18 Jun
Displayed 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