CS 7190 (Spring 2017)

Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 122
Organizers: Dexter Kozen and Adrian Sampson
Czars: Matthew Milano and Molly Feldman
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 Host
25 Jan Organizational Meeting and topic exploration
1 FebruaryAbstracting Gradual Typing
Garcia, Clark, and Tanter
Fabian Muehlboeck
8 FebruaryProperty Law as a Programming Language
Shrutarshi Basu
Shrutarshi Basu
15 FebruaryRelCost: A Relational Type System for Cost Analysis
Marco Gaboardi
Marco GaboardiAndrew Myers
22 FebruaryCarlo Pinciroli
Carlo Pinciroli
Carlo PinciroliWil Thomason
1 MarchOn Verifying Causal Consistency
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, and Jad Hamza
Isaac Sheff
8 MarchHypercollecting Semantics and its Application to Static Analysis of Information Flow
Mounir Assaf, David A. Maumann, Julien Signoles, Eric Totel, Frederic Tronel
Ethan Cecchetti
22 MarchLevity Polymorphism
Richard A. Eisenberg and Simon Peyton Jones
Yizhou Zhang
29 MarchAutomated Proofs of Pairing-Based Cryptography
Gilles Barthe, Benjamin Grégoire, and Benedikt Schmidt
Josh Gancher
5 April Spring Break
12 April Type Directed Compilation of Row-Typed Algebraic Effects
Daan Leijen
Wil Thomason
17 April, 11:30amPolicy-Agnostic Programming for Database-Backed Applications
Jean Yang
Jean Yang
19 AprilLearning nominal automata
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
Steffen Smolka
26 AprilOracle v. Google: When is a programming language copyrightable?
Xiang Long
Xiang Long
2 MayRetreat planning; also "Could an interactive interpreter help 4110 and 6110 students learn the lambda-calculus?"
Fabian Muehlboeck, Adrian Sampson
Fabian Muehlboeck, Adrian Sampson
Validate XHTML Validate CSS
Last updated Recently