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 SepAlmost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
Sam Blackshear and Shuvendu K. Lahiri, PLDI 2013.
Danfeng Zhang
16 SepType Theories Behind Proof Assistants
Suggested background: Homotopy Type Theory, ch. 1
Abhishek Anand
23 SepTesting Noninterference, Quickly
Hritçu et al. ICFP13
Yizhou Zhang
30 SepProbabilistic Point-to-Point Information Leakage
Chothia et al. CSF 2013
Eleanor Birrell
7 OctA Practical Theory of Language-Integrated Query
James Cheney, Sam Lindley and Philip Wadler. ICFP 2013
Shrutarshi Basu
14 Oct Fall Break
21 OctDeterminism Is Not Enough: Making Parallel Programs Reliable With Stable MultithreadingJunfeng Yang (Columbia)
Upson 315
28 OctHomotopy Type Theory Extravaganza ISam Hopkins
Nov 4Homotopy Type Theory Extravaganza IIBrittany Nkounkou
11 Nov PLDI Amigo review
18 NovHomotopy Type Theory Extravaganza IIIAndrew Hirsch, Brittany Nkounkou
25 NovBackpack: Retrofitting Haskell with Interfaces
Scott Kilpatrick, Derek Dreyer, Simon Peyton Jones, and Simon Marlow. POPL 2014
Mark Reitblatt
2 DecSymmetric Edit LensesDaniel Wagner (UPenn)
9 DecFull reduction at full throttle
Mathieu Boespflug et al. CPP'11
Ben Greenman

Other suggested papers

See the PLDG wiki page

Validate XHTML Validate CSS
Last updated January 2012