Seminar in Programming Languages
Time: Tuesdays 11:00AM - 12:00PM
Location: Gates 310
Organizers: Nate Foster and Andrew Myers
Czar: Matthew Milano
Previous Semesters: Archives
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 |
3 February | The gradualizer: a methodology and algorithm for generating gradual type systems | Fabian Muehlboeck |
10 February (at 3:35pm in Gates 122) | Thunder Lisp: A Logic-Based Programming Language Scott Messick | Scott Messick |
23 February | Cubical Type Theory: a constructive interpretation of the univalence axiom Anders Mörtberg | Anders Mörtberg |
1 March | Automatic Verification and Synthesis of Software Systems Hossein Hojjat | Hossein Hojjat |
8 March | Amigo review: ICFP (and friends) edition | |
15 March | Matthew Milano | |
22 March | Dependent Types and Multi-Monadic Effects in F⋆ Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin | Fran Mota |
5 April | When is a Container a Comonad? Danel Ahman, James Chapman, Tarmo Uustalu | Andrew Hirsch |
12 April | Incremental Forest Jonathan DiLorenzo, Richard Zhang, Nate Foster, and Kathleen Fisher | Jonathan DiLorenzo |
19 April | Millions of little minions: using packets for low latency network programming and visibility Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng, Changhoon Kim, David Mazières | Xiang Long |
26 April | Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega Matt Brown and Jens Palsberg | Steffen Smolka |
3 May | Incremental Computing and the Web Yaron Minsky | Yaron Minsky |
10 May | Analysis of Partial Programs Osbert Bastani | Osbert Bastani |