Time: Wednesday 3:35pm - 4:35pm
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czar: Yulun Yao
The Programming Languages Discussion Group meets weekly to discuss papers in the area of programming languages, program analysis, and compilers. The goal is to encourage interactions and discussions between students, researchers, and faculty with interests in this area. The seminar is open to everybody interested in languages and compilers. First-year and second-year students are especially encouraged to participate. Participating students should register for the 1-credit course CS 7190.
Talks will be advertised on the pldg-l@cornell.edu list. To join, send a message to pldg-l-request@cornell.edu with the subject “join” and a blank body.
A detailed schedule with abstracts can be accessed here.
| Date | Topic | Presenter | Host |
|---|---|---|---|
| Jan 22 | Organizational Meeting | Yulun Yao | |
| Jan 29 | Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities | Jamie Wright | Liron Cohen |
| Feb 5 | Tutorial for Isabelle/HOL | Jamie Wright | Liron Cohen |
| Feb 12 | Statically Resolvable Ambiguity | Mark Moeller | |
| Feb 19 | Cancelled | ||
| Feb 26 | Foundational and Comprehensive Verification of Packet Processing | Shengyi Wang | Andrew Appel |
| Mar 5 | |||
| Mar 12 | Silei Ren | ||
| Mar 19 | Karuna Grewal | ||
| Mar 26 | Spencer Van Koevering | ||
| Apr 2 | No PLDG (Spring Break) | ||
| Apr 9 | Soos Garry | ||
| Apr 16 | Yulun Yao | ||
| Apr 23 | Vaibhav Mehta | ||
| Apr 30 | Ayaka Yorihiro | ||
| May 7 | Aditya Senthilnathan |