Time: Wednesday 3:00pm - 4:15pm
Location: Zoom (requires Cornell NetID)
Organizers: Dexter Kozen and Adrian Sampson
Czar: Pedro Amorim and Alexa VanHattum
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 graduate 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.
This semester, PLDG will be entirely virtual, with talks and discussion over Zoom.
| Date | Topic | Presenter | Host |
|---|---|---|---|
| Feb 10 | Poulet4: Data-dependent grammars for formal reasoning about P4 programs | John Sarracino | |
| Feb 17 | Distribution Theoretic Semantics for Differentiable Programming | Pedro Amorim | |
| Feb 24 | Functional Correctness of Dijkstra’s, Prim’s, and Kruskal’s Algorithms in C | Anshuman Mohan | |
| Mar 3 | TBA | Ryan Doenges | |
| Cornell Wellness Day | |||
| Mar 17 | TBA | ||
| Mar 24 | TBA | Drew Zagieboylo | |
| Mar 31 | TBA | Alexa VanHattum | |
| Apr 7 | TBA | Wen-Ding Li | |
| Apr 14 | TBA | Luke Bernick | |
| Apr 21 | TBA | Rolph Recto | |
| Apr 28 | TBA | Priya Srikumar | |
| May 5 | TBA | Goktug Saatcioglu | |
| May 12 | TBA | Joshua Gancher | |
| May 19 | TBA | Ayaka Yorihiro | |
| May 26 | Notational Programming for Quantum Computing | Ian Arawjo |