Time: Wednesday 3:00pm - 4:15pm
Location: Zoom (requires Cornell NetID)
Organizers: Dexter Kozen and Adrian Sampson
Czar: Pedro Amorim and Alexa VanHattum
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.
This semester, PLDG will be entirely virtual, with talks and discussion over Zoom.
| Date | Topic | Presenter | Host |
|---|---|---|---|
| Sept 2 | Organizational Meeting | Pedro Amorim and Alexa VanHattum | |
| Sept 9 | A Compiler Infrastructure for Accelerator Generators | Rachit Nigam | |
| Sept 16 | Resource-Aware Session Types for Digital Contracts | Ankush Das | Nate Foster |
| Sept 23 | Efficient Handling of String-Number Conversion | Dietrich Geisler | |
| Sept 30 | Understanding memory and thread safety practices and issues in real-world Rust programs | Griffin Berlstein | |
| Oct 7 | Programmer Tools with Program Synthesis | Hila Peleg | John Sarracino |
| (No classes) | |||
| Oct 21 | Guarded Kleene Algebra with Tests | Tobias Kappé | |
| Oct 28 | Semantic Code Search via Equational Reasoning | Priya Srikumar | |
| Nov 4 | Proof Repair Across Type Equivalences | Talia Ringer | Nate Foster |
| Nov 11 | Feedback-Directed Optimization for OCaml | Greta Yorsh | Nate Foster |
| Nov 18 | Context-Sensitive Data-Dependence Analysis via Linear Conjunctive Language Reachability | Ayaka Yorihiro | |
| (Thanksgiving) | |||
| Dec 2 | Structuring the Synthesis of Heap-Manipulating Programs | Mark Moeller | |
| Dec 9 | TBA | Goktug Saatcioglu | |
| Dec 16 | TBA | TBA |