Programming Languages Discussion Group (Spring 2024)

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 list. To join, send a message to 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.