Time: Wednesday 3:35pm - 4:35pm
Location: Gates 310 (Zoom)
Organizers: Dexter Kozen and Adrian Sampson
Czar: Eric Campbell
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.
| Date | Topic | Presenter | Host |
|---|---|---|---|
| Jan 29 | goSLP: Globally Optimized Superword Level Parallelism Framework | Alexa VanHattum | |
| Feb 05 | Obsidian: A User-Centered Programming Language with Typestate and Assets | Michael Coblenz | Andrew Myers |
| Feb 12 | PADS: A DSL for Processing Ad hoc Data Sources | Jonathan DiLorenzo | |
| Feb 19 | NV: An Intermediate Language for Network Verification | Nick Giannarakis | Nate Foster |
| Feb 26 | A Practical Guide to User Evaluation for PL Folk | Molly Q Feldman | |
| Mar 4 | Securing the Foundations of Practical IFC | Maximilian Algehed | |
| Mar 11 | Resugaring: lifting evaluation sequences through syntactic sugar | Griffin Berlstein | |
| Mar 18 | Towards Constant-Time Foundations for the New Spectre Era | Drew Zagieboylo | |
| Mar 25 | Cancelled | ||
| Apr 01 | Spring Break | ||
| Apr 08 | An algebraic framework to reason about concurrency | Alexandra Silva | Dexter Kozen |
| Apr 15 | Logical Language for Deterministic Mealy Machines | Xiang Long | |
| Apr 22 | MLIR: A Compiler Infrastructure for the End of Moore’s Law | Edwin Peguero | |
| Apr 29 | Kushal Babel |