Programming Languages Discussion Group (Fall 2019)

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
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