Time: Wednesday 3:45pm - 4:35pm
Location: Hybrid: Gates 310 and Zoom (requires Cornell NetID)
Organizer: Dexter Kozen
Czars: Mark Moeller and Jialu Bao
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
firstname.lastname@example.org list. To join, send a
message to email@example.com with the subject “join” and a
PLDG meets both in person and on Zoom. Please discuss with the czars if you plan to present virtually.
|Aug 24||Organizational Meeting|
|Aug 31||Guarded Kleene Algebra with Tests, redux||Tobias Kappé|
|Sep 7||Foundational and Automated Verification, Together at Last||John Sarracino|
|Sep 14||A Flexible Type System for Fearless Concurrency||Joshua Turcotti|
|Sep 21||Monoidic Hoare Logic: A Unifying Framework for Correctness and Incorrectness Reasoning||Noam Zilberstein|
|Sep 28||Formal Reasoning About Layered Monadic Interpreters||Irene Yoon (Penn)||Jialu Bao|
|Oct 5||Program Synthesis using conflict-driven learning||Eric Campbell|
|Oct 12||Learning to Prove with Search and Machine Learning||Alex Sanchez-Stern (UMass Amherst)||Mark|
|Oct 19||Vectorized Secure Evaluation of Decision Forests||Raghav Malik (Purdue)||Jialu & Mark|
|Nov 2||(Amiga Review - PLDI)|
|Nov 16||A Tutorial on Bialgebras||Oli Richardson|
|Nov 23||No PLDG|
|Nov 30||A Quantale of Information||Silei Ren|
|Dec 7||Noah Bertram|
Some of the links above need institutional affiliation to access the papers. Use Cornell PassKey to access them.