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 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.
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) |