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 | TBD | Yaron Minsky | Nate Foster |
| Nov 12 | TBD | Sam Coward | Alexandra Silva + Adrian Sampson |
| Nov 19 | TBD | Chris Misa | Nate Foster |
| Nov 26 | Thanksgiving | ||
| Dec 3 | TBD | Daniel Sainati | |
| Dec 10 | Study Period |