CS 7190 (Fall 2016)

Seminar in Programming Languages
Time: Wednesdays 3:35PM - 4:35PM
Location: Gates 310
Organizers: Dexter Kozen and Adrian Sampson
Czars: Matthew Milano and Molly Feldman
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
24 AugustOrganizational Meeting
31 AugustCalculational Design of Information Flow Monitors
Mounir Assaf, Stevens Institute of Technology
Mounir AssafMichael Clarkson
7 SeptemberEncoding-Free Foundations of Mathematics
Scott Messick
Scott Messick
14 SeptemberLenses tutorial: Part 1
Jonathan DiLorenzo
Jonathan DiLorenzo
21 SeptemberLenses tutorial: Part 2
Jonathan DiLorenzo
Jonathan DiLorenzo
28 SeptemberIsaac Sheff
Isaac Sheff
Isaac Sheff
MONDAY
3 October
Saman Amarasinghe
Saman Amarasinghe
Saman AmarasingheAndrew C Myers
15 October PL retreat
19 OctoberMystery Tutorial
Dexter Kozen
Dexter Kozen
26 OctoberTutorial on Effects I
Andrew Hirsch
Andrew Hirsch
2 NovemberTutorial on Effects II
Andrew Hirsch
Andrew Hirsch
9 November PLDI amigo review
16 NovemberMolly
Molly
Molly
23 November Thanksgiving
30 NovemberEthan
Ethan
Ethan
Validate XHTML Validate CSS
Last updated Recently