Research area overview talk II - Program Synthesis: Big Ideas in Program Synthesis
Program Synthesis is an area of Programming Languages concerned with automatically generating programs from high-level and possibly incomplete descriptions, such as input-output examples, logical formulas, and even natural language. Program Synthesis today is a very diverse and vibrant research area, and the goal of this talk is to give you a taste of this diversity by introducing a handful of Big Ideas, which shaped the area and influenced my own research.
Nadia Polikarpova is an Assistant Professor of Computer Science and Engineering at the University of California, San Diego. She received her PhD from ETH Zurich (Switzerland), and spent a couple of years as a postdoc at MIT CSAIL. She is a 2020 Sloan Fellow and a recipient of 2020 Intel Rising Stars Award and the 2020 NSF Career Award. Her research interests are in program synthesis, program verification, and type systems.
Sun 18 JunDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | |||
14:00 30mTalk | Research area overview talk II - Program Synthesis: Big Ideas in Program Synthesis PLMW@PLDI Nadia Polikarpova University of California at San Diego | ||
14:30 30mTalk | 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 30mTalk | Research area overview talk IV - Security PLMW@PLDI Danfeng Zhang Pennsylvania State University | ||
