Magnolia 1-3 - PLDI 2023

Sat 17 - Wed 21 June 2023 Orlando, Florida, United States

VenueOrlando World Center Marriott

Room nameMagnolia 1-3

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	CSC: Open Session 1CSC at Magnolia 1-3 #csc-sat-magnolia13

09:00 5m Day opening		Introduction CSC
09:05 40m Keynote		Letting HPC Programmers Focus On Correctness First, Then On PerformanceInvited Talk CSC Ignacio Laguna Lawrence Livermore National Laboratory
09:50 70m Talk		Lightning Talks CSC Andrew Siegel , Sreepathi Pai University of Rochester, Harshitha Menon Lawrence Livermore National Lab, Piotr Luszczek , Alyson Fox , Vivek Sarkar Rice University, USA, Andrew W. Appel Princeton University

11:20 - 12:30	CSC: Open Session 2CSC at Magnolia 1-3 #csc-sat-magnolia13 https://youtube.com/live/XSNvdxqKCwA

11:20 40m Keynote		Formal Verification in Scientific ComputingInvited Talk CSC Jean-Baptiste Jeannin University of Michigan at Ann Arbor
12:00 20m Talk		Lightning Talks CSC Laura Titolo NIA/NASA LaRC, Aditya V. Thakur University of California at Davis
12:20 10m Other		Announcements CSC

	14:00 - 15:30	CSC: Closed SessionCSC at Magnolia 1-3

16:00 - 17:50	CSC: Open Session 3CSC at Magnolia 1-3 #csc-sat-magnolia13 https://youtube.com/live/XSNvdxqKCwA

16:00 90m Other		Breakout Reporting and Discussion CSC

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 1-3	CSC CSC: Open Session 1																												CSC CSC: Open Session 2																																CSC CSC: Closed Session																								CSC CSC: Open Session 3

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 1-3	CSC Introduction 09:00 - 09:05	CSCInvited Talk Letting HPC Programmers Focus On Correctness First, Then On Performance 09:05 - 09:45									CSC Lightning Talks 09:50 - 11:00																		CSCInvited Talk Formal Verification in Scientific Computing 11:20 - 12:00								CSC Lightning Talks 12:00 - 12:20				CSC Announcements 12:20 - 12:30																																												CSC Breakout Reporting and Discussion 16:00 - 17:30

Room information: Magnolia 1-3

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

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

CSC

CSC

CSC

CSC

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

Tracks

Co-hosted Conferences

Workshops

Room information: Magnolia 1-3

Program Display Configuration

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

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

CSC

CSC

CSC

CSC

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

Information for Participants

Information for Participants

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

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

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