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.
|Sep 18||Resource-Aware Session Types for Digital Contracts||Ankush Das (CMU)|
|Oct 9||Discussion of Data-Driven Inference of Representation Invariants||Jialu Bao|
|Oct 16||Discussion of Detecting Numerical Bugs in Neural Network Architectures||Yuhao Zhang|
|Oct 23||Automated Testing and Precision Tuning of Numerical Software||Cindy Rubio-González (UC-Davis)|
|Oct 30||TBD||Zachary Susag|
|Nov 6||TBD||Qinheping Hu|
|Nov 13||On the Design, Implementation, and Use of Laziness in R||Aviral Goel (Northeastern)|
|Nov 20||TBD||Matt Fredrikson|
|Dec 4||TBD||Zi Wang|