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
firstname.lastname@example.org email list. To join, fill out the form located here.
All talks are at 1-2pm CDT unless noted otherwise.
|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)|