CS 7190 (Spring 2013)
Seminar in Programming Languages
Time: Wednesdays at 2:30pm
Location: Upson 5126
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 |
| 30 Jan | Organizational meeting | |
| 6 Feb | Asynchronous Functional Reactive Programming for GUIs PLDI 2013 Draft (VPN only). Evan Czaplicki and Stepen Chong. | Tom Magrino |
| 13 Feb | Higher-order functional reactive programming in bounded space POPL '12. Krishnaswami, Neelakantan R. and Benton, Nick and Hoffmann, Jan | Arjun Guha |
| 20 Feb | A Type- and Control-Flow Analysis for System F Matthew Fluet. IFL'12 | Matthew Fluet (RIT) |
| 27 Feb | HALO: From Haskell to First-Order Logic through Denotational Semantics POPL 2013. D. Vytiniotis, S.P. Jones, K. Claessen, D. Rosén. | Raghu Rajkumar |
| 6 Mar | Synthesizing Software Verifiers from Proof Rules PLDI 2012, Grebenshchikov et al | Chin Isradisaikul |
| 13 Mar | Amigo Review | PC: Nate Foster |
| 20 Mar | (Spring Break) | |
| 27 Mar | Reagents: Expressing and Composing Fine-grained Concurrency PLDI 2012, Aaron Turon | Stephen Longfield |
| 3 Apr | Extensibility for the Masses Oliveire and Cook, ECOOP'12 | Yizhou Zhang |
| 10 Apr | Intuitionistic completeness part I Tech Report | Bob Constable |
| 17 Apr | Intuitionistic completeness part II | Dexter Kozen |
| 24 Apr | The power of parameterization in coinductive proof part I POPL 2013. C. Hur, G. Neis, D. Dreyer, V. Vafeiadis. | Jean-Baptiste Jeannin, Mark Reitblatt |
| 1 May | The power of parameterization in coinductive proof part II POPL 2013. C. Hur, G. Neis, D. Dreyer, V. Vafeiadis. | Jean-Baptiste Jeannin, Mark Reitblatt |
Other suggested papers
See the PLDG wiki page
Last updated January 2012