Programming Languages Discussion Group (Spring 2020)

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 list. To join, send a message to 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