CS 7190 (Spring 2019)

Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czars: Eric Campbell and Molly Feldman
Previous Semesters: Archives
Information on last-semester's retreat: Retreat 2018


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 subscribe, send a message to pldg-l-request@cornell.edu with the subject "join" and a blank body.


Date Topic Presenter Host
January 23Modern Languages for Machine LearningDietrich Geisler
January 30Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
Vincent Rahli , Ivana Vukotic, Marcus Völp, Paulo Esteves-Verissi
Haobin Ni
February 6Notational Programming and its LanguagesIan Arawajo
February 13Hamsaz: Replication Coordination Analysis and Synthesis
Farzin Houshmand and Mohsen Lesani
Ryan Doenges
February 20Alias Annotations for Program Understanding
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers
Matthew Milano
February 27Guarded Kleene Algebra with TestsSteffen Smolka
March 6Pedro Henrique Azevedo de Amorim
March 13
March 20Drew Zagieboylo
March 27Oliver Richardson
April 4 No PLDG -- Spring Break
April 10Josh Gancher
April 17Eric Campbell
April 24Alexa VanHattum
May 1A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages
Emina Torlak and Rastislav Bodik
Rachit Nigam
Validate XHTML Validate CSS
Last updated Recently