PL Seminar
About
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 MadPL email list. To receive emails, join the Microsoft 365 group by clicking here.
Sign up to present here!
Spring 2025
Wednesdays 12:30-1:15pm CT; CS 3310; 30min presentation + 15min Q&A
Organizer: Abtin Molavi
Fall 2024
Tuesdays 12-1pm CT; CS 4310
Organizer: Amanda Xu
Spring 2024
Mondays 1:10-2pm CT; CS 4310
Fall 2023
Tuesdays 12-1pm CT; CS 3310
Summer 2021
| Date | Title | Speaker |
|---|---|---|
| May 21 | Composable, Sound Transformations for Nested Recursion and Loops | Kirshanthan Sundararajah |
Spring 2021
| Date | Title | Speaker |
|---|---|---|
| Mar 24 (9am CST) | Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning | Kuldeep Meel |
| Apr 23 | Synthesis with Uncertainties | Eva Darulova |
| Apr 30 | MANTIS: Semantics-Guided Inductive Program Synthesis | Roopsha Samanta |
Fall 2020
| Date | Title | Speaker |
|---|---|---|
| Dec 11 | Objectively Measure Developers’ Cognitive Activities: Code, Biases, and Brains | Yu Huang (Univeristy of Michigan) |
| Dec 4 | Expanding the Reach of Fuzz Testing | Caroline Lemieux (UC-Berkeley) |
| Nov 20 | How To Find ML Bugs That Expose Data and Bias Outcomes | Matt Fredrikson (CMU) |
| Nov 13 | On the Design, Implementation, and Use of Laziness in R | Aviral Goel (Northeastern) |
| Nov 6 | Discussion of Resource-Guided Program Synthesis | Qinheping Hu |
| Oct 30 | Discussion of Liquid Information Flow Control | Zachary Susag |
| Oct 23 | Automated Testing and Precision Tuning of Numerical Software | Cindy Rubio-González (UC-Davis) |
| Oct 16 | Discussion of Detecting Numerical Bugs in Neural Network Architectures | Yuhao Zhang |
| Oct 9 | Discussion of Data-Driven Inference of Representation Invariants | Jialu Bao |
| Sep 18 | Resource-Aware Session Types for Digital Contracts | Ankush Das (CMU) |