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 23 | Modern Languages for Machine Learning | Dietrich Geisler | |
January 30 | Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq Vincent Rahli , Ivana Vukotic, Marcus Völp, Paulo Esteves-Verissi | Haobin Ni | |
February 6 | Notational Programming and its Languages | Ian Arawajo | |
February 13 | Hamsaz: Replication Coordination Analysis and Synthesis Farzin Houshmand and Mohsen Lesani | Ryan Doenges | |
February 20 | Alias Annotations for Program Understanding Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers | Matthew Milano | |
February 27 | Guarded Kleene Algebra with Tests | Steffen Smolka | |
March 6 | Weighted Relational Models of Typed Lambda Calculi Jim Laird, Giulio Manzonetto, Guy McCusker, and Michele Pagani | Pedro Henrique Azevedo de Amorim | |
March 13 | Constructivism and the Axiom of Choice | Ross Tate | |
March 20 | Bridging the Gap between Programming Languages and Hardware Weak Memory Models Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis | Drew Zagieboylo | |
March 27 | Abstract2 Interpretation Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato | Oliver Richardson | |
April 4 | No PLDG -- Spring Break | ||
April 10 | Reasoning About Probabilistic Automata for Cryptography | Josh Gancher | |
April 17 | Guarded Impredicative Polymorphism Alejandro Serrano, Jurrian Hage Dimitrios Vytiniotis, and Simon Peyton Jones | Eric Campbell | |
April 24 | Verified Lifting of Stencil Computations Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama | Alexa VanHattum | |
May 1 | A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak and Rastislav Bodik | Rachit Nigam |