Sun 18 Jun 2023 15:00 - 15:30 at Magnolia 10 - PLMW: Session 3 Chair(s): Marco Guarnieri

Sun 18 Jun

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

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