Time: Wednesday 3:30pm - 5:00pm
Location: Hybrid: Gates 310 and Zoom (requires Cornell NetID)
Organizers: Dexter Kozen and Adrian Sampson
Czar: Pedro Amorim and Mark Moeller
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
email@example.com list. To join, send a
message to firstname.lastname@example.org with the subject “join” and a
PLDG will meet in person when possible, but meetings will still be broadcast over Zoom. Please discuss with the czars if you plan to present virtually.
|Jan 26 (virtual)||Wire sorts: a language abstraction for safe hardware composition||Griffin Berlstein|
|Feb 2 (virtual)||Incorrectness Logic and Kleene Algebra with Top and Tests||Cheng Zhang (BU)||Pedro Amorim|
|Feb 9||A formal foundation for symbolic evaluation with merging||Ryan Doenges|
|Feb 16||Futhark: purely functional GPU-programming with nested parallelism and in-place array updates||Dietrich Geisler|
|Feb 23||STORM: Refinement Types for Secure Web Applications||Rolph Recto|
|Mar 2||Correctness (and Incorrectness) of Randomized Programs||Noam Zilberstein|
|Mar 9||Data-Driven Invariant Learning for Probabilistic Programs (note: talk more recent than arXiv version)||Jialu Bao|
|Mar 16||Justin Hsu|
|Mar 23||Programming with Infinitesimals: A While-Language for Hybrid System Modeling||Leon Witzman|
|Mar 30||SHErrLoc: a Static Holistic Error Locator||Luke Bernick|
|Apr 13||Efficient and Scalable Parallel Functional Programming Through Disentanglement||Sam Westrick (CMU)||Oliver Daids|
|Apr 20||IFC for P4 Language||Karuna Grewal|
|Apr 27||Rachit Nigam|
|May 4||Marco Servetto (Victoria Univ. of Wellington)||Mark Moeller|
Some of the links above need institutional affiliation to access the papers. Use Cornell PassKey to access them.