CS 7190 (Spring 2018)
Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czars: Molly Feldman and 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 | Host |
| 25 January | Verified implementation of the Chord peer-to-peer protocol Doug Woos, Ryan Doenges, James Wilcox, Karl Palmskog, Steve Anton, Zach Tatlock, Michael Ernst | Ryan Doenges | |
| 31 January | PLDG Tutorial: The Expression Problem Phillip Wadler | Rolph Recto and Coşku Acay | |
| 7 February | Cubical Computational Type Theory Keun-Bang Hou | Kuen-Bang Hou | Greg Morrisett |
| 14 February | Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers Bjørn Bugge Grathwohl, Fritz Henglein, Kristoffer Aalund Søholm, Ulrik Terp Rasmussen, Sebastian Paaske Tørholm | Steffen Smolka | |
| 21 February | Higher-order constrained horn clauses for verification Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay | Dietrich Geisler | |
| 28 February | Linear Logic Programming for Narrative Generation Martens, Bosser, Ferreira, and Cavassa | Shrutarshi Basu | |
| 7 March | The Linearity Monad Jennifer Paykin and Steve Zdancewic | Edwin Peguero | |
| 14 March | From Couplings to Probabilistic Relational Program Logics Justin Hsu | Justin Hsu | |
| 21 March | Functional Pearl: Every Bit Counts Dimitrios Vytiniotis and Andrew Kennedy | Eric Campbell | |
| 28 March | FLAFOL: A First-Order Logic for Reasoning about Flow-Limited Authorization Andrew Hirsch, Owen Arden, Ethan Cecchetti, and Ross Tate | Andrew Hirsch | |
| 11 April | A General Framework for Relational Parametricity Kristina Sojakova and Patty Johann | Kristina Sojakova | |
| 18 April | Monadic refinements for relational cost analysis Ivan Radiček, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger | Joshua Gancher | |
| 25 April | Building Predictable and Adaptable Mobile Systems Lukasz Ziarek | Lukasz Ziarek | Greg Morrisett |
| 2 May | A Constructive Model of Axioms of Choice with Nondeterminism Daoji Huang, Liron Cohen, Fran Mota, Ross Tate | Daoji Huang | |
| 9 May | Abstraction-Safe Algebraic Effect Handlers via Tunneling Yizhou Zhang, Andrew Myers | Yizhou Zhang | |
| 17 May | Special PLDG: Ron van der Meyden (noon in Gates G01) | ||
| 18 May | Special PLDG: A colloquium for Alex Aiken (3pm in Gates G01) | ||
