ASA 2023
co-located with PLDI 2023
VenueOrlando World Center Marriott
Room nameMagnolia 1-3
Room InformationNo extra information available
Program

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

Sat 17 Jun

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

Sat 17 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Magnolia 1-3
CSC
Introduction
09:00 - 09:05
CSC
Lightning Talks
09:50 - 11:00
CSC
Lightning Talks
12:00 - 12:20
CSC
Announcements
12:20 - 12:30