ASA 2023
co-located with PLDI 2023
VenueOrlando World Center Marriott
Room nameMagnolia 10
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

Sun 18 Jun

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

09:00 - 11:00
PLMW: Session 1PLMW@PLDI at Magnolia 10
Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder & Amazon

#plmw-sun-magnolia10 Discord icon small YouTube icon small

09:00
10m
Talk
Welcome
PLMW@PLDI
Limin Jia Carnegie Mellon University, Anitha Gollamudi University of Massachusetts Lowell, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Marco Guarnieri IMDEA Software Institute
09:10
40m
Talk
How to conduct impactful research?
PLMW@PLDI
Emery D. Berger University of Massachusetts Amherst
09:50
60m
Panel
Panel: Career paths
PLMW@PLDI
Chris Casinghino Jane Street, David Grove IBM Research, Talia Ringer University of Illinois at Urbana-Champaign, Lucas Bang Harvey Mudd College, Devin Coughlin Apple
10:50
20m
Talk
From Bug Detection to Mitigation and Elimination: The Role of Tools and Language Design in Memory Safety
PLMW@PLDI
11:20 - 12:30
PLMW: Session 2PLMW@PLDI at Magnolia 10
Chair(s): Anitha Gollamudi University of Massachusetts Lowell

#plmw-sun-magnolia10 Discord icon small YouTube icon small

11:20
30m
Talk
Research area overview talk I: PL Meets ML - A Probabilistic Perspective
PLMW@PLDI
Steven Holtzen Northeastern University
11:50
40m
Talk
How to conduct cross-cutting research?
PLMW@PLDI
Alvin Cheung University of California at Berkeley
12:30
90m
Lunch
Mentoring lunch
PLMW@PLDI

14:00 - 15:30
PLMW: Session 3PLMW@PLDI at Magnolia 10
Chair(s): Marco Guarnieri IMDEA Software Institute

#plmw-sun-magnolia10 Discord icon small YouTube icon small

14:00
30m
Talk
Research area overview talk II - Program Synthesis: Big Ideas in Program Synthesis
PLMW@PLDI
Nadia Polikarpova University of California at San Diego
14:30
30m
Talk
Research area overview talk III - Language design: Compiler Verification: A Look Back, A Look Forward
PLMW@PLDI
Amal Ahmed Northeastern University, USA
File Attached
15:00
30m
Talk
Research area overview talk IV - Security
PLMW@PLDI
Danfeng Zhang Pennsylvania State University
16:00 - 17:50
PLMW: Session 4PLMW@PLDI at Magnolia 10
Chair(s): Limin Jia Carnegie Mellon University

#plmw-sun-magnolia10 Discord icon small YouTube icon small

16:00
50m
Talk
How to Design Talks
PLMW@PLDI
Ranjit Jhala University of California at San Diego
16:50
60m
Panel
Panel: How to excel in graduate school
PLMW@PLDI
Fraser Brown CMU, Ankush Desai Amazon Web Services, Jeffrey S. Foster Tufts University, Milijana Surbatovich Carnegie Mellon University

Sun 18 Jun

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