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