CS 7190 (Spring 2016)

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

Overview

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.

Schedule


Date Topic Presenter
3 FebruaryThe gradualizer: a methodology and algorithm for generating gradual type systemsFabian Muehlboeck
10 February (at 3:35pm in Gates 122)Thunder Lisp: A Logic-Based Programming Language
Scott Messick
Scott Messick
23 FebruaryCubical Type Theory: a constructive interpretation of the univalence axiom
Anders Mörtberg
Anders Mörtberg
1 MarchAutomatic Verification and Synthesis of Software Systems
Hossein Hojjat
Hossein Hojjat
8 March Amigo review: ICFP (and friends) edition
15 MarchMatthew Milano
22 MarchDependent 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 AprilWhen is a Container a Comonad?
Danel Ahman, James Chapman, Tarmo Uustalu
Andrew Hirsch
12 AprilIncremental Forest
Jonathan DiLorenzo, Richard Zhang, Nate Foster, and Kathleen Fisher
Jonathan DiLorenzo
19 AprilMillions 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 AprilBreaking Through the Normalization Barrier: A Self-Interpreter for F-omega
Matt Brown and Jens Palsberg
Steffen Smolka
3 MayIncremental Computing and the Web
Yaron Minsky
Yaron Minsky
10 MayAnalysis of Partial Programs
Osbert Bastani
Osbert Bastani
Validate XHTML Validate CSS
Last updated Recently