Time: Wednesday 3:35pm - 4:35pm
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czar: Karuna Grewal, Mark Barbone
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. Participating students should register for the 1-credit course CS 7190.
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.
A detailed schedule with abstracts can be accessed here.
| Date | Topic | Presenter | Host |
|---|---|---|---|
| Aug 8 | TensorRight: Automated Verification of Tensor Graph Rewrites | Jai Arora | Adrian Sampson |
| Sep 3 | Chamelean: Property-Based Testing for Lean via Metaprogramming | Ernest Ng | |
| Sep 10 | Formal Methods for Probabilistic Distributed Algorithms | Noam Ziberstein | |
| Sep 17 | A Nonstandard Temporal Logic for Continuous-Time Verification | Kei Imada | |
| Sep 24 | From Theory to Throughput: Evolving Datalog’s Semantics and Implementation | Kris Micinski | Nate Foster |
| Oct 1 | Recent results and open problems in relational verification | Dave Naumann | Andrew Myers |
| Oct 8 | A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism | Dexter Kozen | |
| Oct 15 | Fall Break | ||
| Oct 22 | Hyper Hoare Logic: Proving and Disproving Program Hyperproperties | Thibault Dardinier | Nate Foster |
| Oct 29 | Skipped | ||
| Nov 5 | The Saga of Multicore OCaml | Yaron Minsky | Nate Foster |
| Nov 12 | Equality Saturation and Industrial Circuit Design | Samuel Coward | Alexandra Silva + Adrian Sampson |
| Nov 19 | Outrunning Big KATs – Efficient Decision Procedures for Variants of GKAT | Cheng Zhang | Alexandra Silva |
| Nov 26 | Thanksgiving | ||
| Dec 3 | Typing Strictness | Daniel Sainati | Adrian Sampson |
| Dec 10 | Study Period |