Time: Wednesday 3:35pm - 4:25pm
Location: Hybrid: Gates 310 and Zoom (requires Cornell NetID)
Organizer: Adrian Sampson and Dexter Kozen
Czars: Jialu Bao and 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.
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.
PLDG meets both in person and on Zoom. Please discuss with the czars if you plan to present virtually.
Date | Topic | Presenter | Host |
---|---|---|---|
Jan 24 | Introductions/Welcome | Jialu | |
Jan 31 | Cancelled | ||
Feb 7 | Property-Directed Reachability as Abstract Interpretation in the Monotone Theory | Vaibhav Mehta | |
Feb 14 | Views: compositional reasoning for concurrent programs | Jialu Bao | |
Feb 21 | Probabilistic Reasoning in Higher-Order Separation Logic | Joe Tassarotti | Alexandra Silva and Noam Zilberstein |
Feb 28 | Secure Synthesis of Distributed Cryptographic Applications | Suraaj K | |
Mar 6 | Universal Composability is Robust Compilation | Silei Ren | |
Mar 13 | TBA | TBA | |
Mar 20 | Numerical Fuzz: A Type System for Rounding Error Analysis | Ariel E. Kellison | |
Mar 27 | Multiparty Session Type Projection and Subtyping with Automata | Elaine Li | Anshuman Mohan |
Apr 3 | Spring Break | ||
Apr 10 | TBA | Steven Holtzen | Alexandra Silva |
Apr 17 | TBA | Soos Garry | |
Apr 24 | TBA | Ayaka Yorihiro | |
May 1 | TBA | Karuna Grewal | |
May 8 | TBA | Yulun Yao | |
May 15 | Additional slots TBD |
When using the links above to access papers, you may be asked to prove institutional affiliation. Use Cornell PassKey.