Programming Languages Discussion Group (Spring 2020)

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 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 Maximilian Algehed
Mar 11 Griffin Berlstein
Mar 18 Drew Zagieboylo
Mar 25 Ethan Cecchetti
Apr 01 Spring Break
Apr 08 Alexandra Silva Dexter Kozen
Apr 15 Xiang Long
Apr 22 Edwin Peguero
Apr 29 Kushal Babel