CS 7190 (Spring 2011)
Seminar in Programming Languages
Tuesday 1:30-2:30
Upson 5126
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 |
| 1 Feb | Organizational Meeting | |
| 8 Feb | Category Theory Primer ESSLLI Lecture Notes by Barr and Wells |
Dexter |
| 15 Feb | More Category Theory! | Dexter |
| 22 Feb | Semantics of Datatypes | Dexter |
| 1 Mar | Imperative Functional Programming Peyton Jones and Wadler. POPL. 1993. |
Chin |
| 8 Mar | Notions of Computation and Monads (Part I) Moggi. Information and Computation. 93(1), 1991. |
Nate |
| 15 Mar | Notions of Computation and Monads (Part II) Moggi. Information and Computation. 93(1), 1991. |
Jean-Baptiste |
| 22 Mar | No Meeting (Spring Break) | |
| 29 Mar | Comprehending Monads Wadler. Mathematical Structures in Computer Science. 2(4):461-493, 1992. |
Navin |
| 5 Apr | A Calculus for Access Control in Distributed Systems Abadi, Burrows, Lampson, Plotkin. TOPLAS. 15(4):706-734, 1993. |
Mike |
| 12 Apr | Nexus Authorization Logic Schneider, Walsh, and Sirer. |
Fred B. Schneider |
| 19 Apr | A Core Calculus of Dependency Abadi, Banerjee, Heintze, and Riecke. POPL. 1999. |
Raghu |
| 26 Apr | More DCC | Raghu |
| 3 May | AURA: A Programming Language for Authorization and Audit Jia, Vaughan, Mazurak, Zhao, Zarko, Schorr, and Zdancewic. ICFP. 2008. |
Mark |
