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¸cu et al. ICFP13 | Yizhou Zhang |
| 30 Sep | Probabilistic Point-to-Point Information Leakage Chothia et al. CSF 2013 | Eleanor Birrell |
| 7 Oct | TBA | Shrutarshi Basu |
| 14 Oct | Fall Break | |
| 21 Oct | Homotopy Type Theory Extravaganza | Sam Hopkins Brittany Nkounkou |
| 18 Nov | TBA | Mark Reitblatt |
Other suggested papers
See the PLDG wiki page
Last updated January 2012