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 6Weighted Relational Models of Typed Lambda Calculi
Jim Laird, Giulio Manzonetto, Guy McCusker, and Michele Pagani
Pedro Henrique Azevedo de Amorim
March 13Constructivism and the Axiom of ChoiceRoss Tate
March 20Bridging the Gap between Programming Languages and Hardware Weak Memory Models
Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis
Drew Zagieboylo
March 27Abstract2 Interpretation
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
Oliver Richardson
April 4 No PLDG -- Spring Break
April 10Reasoning About Probabilistic Automata for CryptographyJosh Gancher
April 17Guarded Impredicative Polymorphism
Alejandro Serrano, Jurrian Hage Dimitrios Vytiniotis, and Simon Peyton Jones
Eric Campbell
April 24Verified Lifting of Stencil Computations
Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama
Alexa 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