The Yale Programming Languages Seminar (YaPLS) is a bi-weekly colloquium focused on programming languages. Topics may include type systems, compilers, formal methods, language design and implementation, and semantics.
To give a talk or join the mailing list, please reach out to the 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 Mixed 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)