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.
|May 21||Composable, Sound Transformations for Nested Recursion and Loops||Kirshanthan Sundararajah|
|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|
|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)|