Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Sun 23 Aug 2020 10:30 - 11:10 at PLMW - Session 2

SAT and SMT solvers are versatile and powerful tools in the toolbox of any PL researcher, and if you are not using them, you are probably missing out. In this talk I will demonstrate how to use an SMT solver to perform three common tasks: declarative program execution, program verification, and program synthesis.

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 the 2020 NSF Career Award. Her research interests are in program synthesis, program verification, and type systems.

This program is tentative and subject to change.

Sun 23 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

PLMW-icfp-2020
10:30 - 12:30: PLMW @ ICFP 2020 - Session 2 at PLMW
PLMW-icfp-202010:30 - 11:10
Talk
Nadia PolikarpovaUniversity of California, San Diego
PLMW-icfp-202011:10 - 11:50
Talk
Amal AhmedNortheastern University, USA
PLMW-icfp-202011:50 - 12:30
Talk
David Van HornUniversity of Maryland, USA