PL Seminar is UW-Madison’s weekly Programming Languages Seminar where presentations are given broadly in the area of programming languages, formal methods, and compilers.

Talks are advertised on this page as well as the pl-seminar@cs.wisc.edu email list. To join, fill out the form located here.

All talks are at 1-2pm CDT unless noted otherwise.

Fall 2020

Date Title Speaker
Sep 18 Resource-Aware Session Types for Digital Contracts Ankush Das (CMU)
Oct 9 Discussion of Data-Driven Inference of Representation Invariants Jialu Bao
Oct 16 Discussion of Detecting Numerical Bugs in Neural Network Architectures Yuhao Zhang
Oct 23 Automated Testing and Precision Tuning of Numerical Software Cindy Rubio-González (UC-Davis)
Oct 30 TBD Zachary Susag
Nov 6 TBD Qinheping Hu
Nov 13 On the Design, Implementation, and Use of Laziness in R Aviral Goel (Northeastern)
Nov 20 TBD Matt Fredrikson
Dec 4 TBD Zi Wang

Summer 2020

Date Title Speaker
May 20 Coalgebras Alexandra Silva (University College London)
May 22 Accelerator Design Languages Adrian Sampson (Cornell)
May 27 Democratizing Web Automation: Programming for Social Scientists and Other Domain Experts Sarah Chasins (UC-Berkeley)
Jun 10 #ShutdownSTEM #ShutdownPL  
Jun 24 Reductions for Safety Proof Simplification Azadeh Farzan (Toronto)
Jun 29 (12pm CDT) Engineering Approximate Computations Michael Carbin (MIT)
Jul 15 Programming, Debugging, and Reasoning Techniques for Posits Santosh Nagarakatte (Rutgers)
Jul 29 Neurosymbolic Programming Swarat Chaudhuri (UT-Austin)
Aug 12 (10am CDT) Algorithmic Verification of String-Manipulating Programs Anthony Lin (TU Kaiserslautern)
Aug 19 Synthesizing Backward through the Geometry Pipeline Zach Tatlock (UW)