The Yale Programming Languages (PL) Seminar is a bi-weekly colloquium focused on programming languages. Topics may include type systems, compilers, formal methods, language design and implementation, and semantics.
We are fortunate to be supported by the Yale University Graduate School of Arts and Sciences' Dean's Fund for Colloquia and Symposia.
To receive email updates, subscribe to the YaPLS mailing list. If you are interested in presenting your research, please contact the current organizers.
Student Organizer: Jack Czenszak
Faculty Organizer: Alex Lew
09/15
Type-Based Approaches to Scalable Roundoff Error Analysis
Max Fan (Cornell University)
09/29
Exact Inference for Discrete-Continuous Probabilistic Programs via Hybrid Knowledge Compilation
Theodore Long (Yale University)
10/13
Software Contracts and Effects
Cameron Moy (University of Maryland, College Park)
10/27
First-Class Program Transformations
Jack Czenszak (Yale University)
11/17
Relaxed Linearizability
Peixin You (Yale University)
12/08
RGSimLin: A Rely-Guarantee-Based Simulation for Verifying Compositional Linearizability
Zhongye Wang (Yale University)
Student Organizer: Jack Czenszak
Faculty Organizer: Alex Lew
02/04
Testing and Verifying Rust's Next Mile
Yoshiki Takashima (Yale University)
02/18
Coinductive Proof Systems for Private Program Verification
John C. Kolesar (Yale University)
04/01
Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
Sam Kouteili (Yale University)
04/15
SureDistrib: Verifying Almost-sure Termination of Composite Asynchronous Byzantine Protocols
Longfei Qiu (Yale University)
04/29
Probability as a Resource
John M. Li (Northeastern University)