CS 7190 (Spring 2012)
Seminar in Programming Languages
Time: Wednesdays at 3:35pm
Location: Upson 5130
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 |
| 18 Jan | Verifying Native Client | Greg Morrisett Harvard University |
| 1 Feb | Organizational meeting | |
| 8 Feb | Multiple facets for dynamic information flow Austin, Flanagan. POPL'12 | K. Vikram |
| 15 Feb | A universal calculus for stream processing languages Soulé, Hirzel, Grimm, Gedik, Andrade, Kumar, Wu. ESOP '10 | Robert Soulé |
| 22 Feb | Sprint: Speculative prefetching of remote data Raman, Yorsh, Vechev, Yahav. OOPSLA 2011 | Owen Arden |
| 7 Mar | Verification of information flow and access control policies with dependent types Nanevski, Banerjee, Garg. Oakland 2011 | Mike George |
| 14 Mar | Inheritance is not subtyping Cook, Hill, and Canning. POPL 1990 | Mark Reitblatt |
| 21 Mar | Language-based control and mitigation of timing channels Zhang, Askarov, Myers. PLDI 2012. | Danfeng Zhang |
| 28 Mar | New Kozen. Manuscript 2012 | Dexter |
| 4 Apr | Inference of expressive declassification policies Chong, Vaughan. Oakland 2011. | Eliza |
| 11 Apr | Freefinement Van Staden, Calcagno, Meyer. POPL 2012. | Chin |
| 18 Apr | A Type Theory for Probability Density Functions Bhat, Agarwal, Vuduc, and Gray. POPL 2012. | Lonnie |
| 25 Apr | Some Reflections on Compiler Correctness | Robert Dockins Princeton University |
| 2 May | Semantics and algorithms for data-dependent grammars Jim, Mandelbaum and Walker. POPL 2010. | Jean-Baptiste |
| 16 May | SuperC: Parsing All of C by Taming the Preprocessor | Robert Grimm |
| 18 May | PL Retreat |
