Time: Wednesday 3:35pm - 4:35pm
Location: Gates 310
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 |
|---|---|---|---|
| Sept 4 | Organizational Meeting | ||
| Sept 11 | The Semila Project: Unbundling Language Design | Scott Messick | |
| Sept 18 | A comonadic view of simulation and quantum resources | Michael Roberts | |
| Sept 25 | BioScript: programming safe chemistry on laboratories-on-a-chip | Josh Acay | |
| Oct 2 | Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators | Dietrich Geisler | |
| Oct 9 | Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior | Edwin Peguero | |
| Oct 16 | Toward a language for securely user-extensible systems | Andrew Myers | |
| Oct 23 | Bidirectional Type Checking for Relational Properties | Rolph Recto | |
| Oct 30 | Mesh: Compacting Memory Management for C/C++ Applications | Rachit Nigam | |
| Nov 6 | Dijkstra Monads for All | Josh Gancher | |
| Nov 13 | From High-Level Inference Algorithms to Efficient Code | Ryan Doenges | |
| Nov 20 | PLDI Amigo Review | ||
| Nov 27 | Cancelled for Thanksgiving | ||
| Dec 4 | Matthew Milano |