Magnolia 9 - PLMW@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) DistAlgoPLDI Tutorials at Magnolia 9 #tutorial-sat-0900-high-level-exec-spec-magnolia9

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

11:20 - 12:30	(Tutorial) DistAlgoPLDI Tutorials at Magnolia 9 #tutorial-sat-0900-high-level-exec-spec-magnolia9

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

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

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

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

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

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

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

09:00 2h		DSL-based Hardware Generation PLDI 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) CalyxPLDI Tutorials at Magnolia 9

11:20 70m		DSL-based Hardware Generation PLDI 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) WALAPLDI Tutorials at Magnolia 9 #tutorial-sun-1400-static-analysis-wala-magnolia9

14:00 90m Tutorial		Towards Supporting Universal Static Analysis using WALA PLDI 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) WALAPLDI Tutorials at Magnolia 9

16:00 1h50m Tutorial		Towards Supporting Universal Static Analysis using WALA PLDI 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	PLDI Tutorials (Tutorial) DistAlgo																												PLDI Tutorials (Tutorial) DistAlgo																																PLDI Tutorials (Tutorial) Dafny																								PLDI 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	PLDI Tutorials (Tutorial) Calyx																												PLDI Tutorials (Tutorial) Calyx																																PLDI Tutorials (Tutorial) WALA																								PLDI 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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

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

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

Tracks

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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI 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