CS 7190 (Fall 2013)
Seminar in Programming Languages
Time: Mondays, Noon–1PM
Location: Upson 5130
POC: Owen Arden
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 email list.
Schedule
| Date | Topic | Presenter |
| 9 Sep | Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings Sam Blackshear and Shuvendu K. Lahiri, PLDI 2013. | Danfeng Zhang |
| 16 Sep | Type Theories Behind Proof Assistants Suggested background: Homotopy Type Theory, ch. 1 | Abhishek Anand |
| 23 Sep | Testing Noninterference, Quickly Hritçu et al. ICFP13 | Yizhou Zhang |
| 30 Sep | Probabilistic Point-to-Point Information Leakage Chothia et al. CSF 2013 | Eleanor Birrell |
| 7 Oct | A Practical Theory of Language-Integrated Query James Cheney, Sam Lindley and Philip Wadler. ICFP 2013 | Shrutarshi Basu |
| 14 Oct | Fall Break | |
| 21 Oct | Determinism Is Not Enough: Making Parallel Programs Reliable With Stable Multithreading | Junfeng Yang (Columbia) Upson 315 |
| 28 Oct | Homotopy Type Theory Extravaganza I | Sam Hopkins |
| Nov 4 | Homotopy Type Theory Extravaganza II | Brittany Nkounkou |
| 11 Nov | PLDI Amigo review | |
| 18 Nov | Homotopy Type Theory Extravaganza III | Andrew Hirsch, Brittany Nkounkou |
| 25 Nov | Backpack: Retrofitting Haskell with Interfaces Scott Kilpatrick, Derek Dreyer, Simon Peyton Jones, and Simon Marlow. POPL 2014 | Mark Reitblatt |
| 2 Dec | Symmetric Edit Lenses | Daniel Wagner (UPenn) |
| 9 Dec | Full reduction at full throttle Mathieu Boespflug et al. CPP'11 | Ben Greenman |
Other suggested papers
See the PLDG wiki page
Last updated January 2012