CS 7190 (Spring 2015)
Seminar in Programming Languages
Time: Fridays, 3:35–4:30PM
Location: Gates 122
POC: Andrew Hirsch and Matthew Milano
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 |
| 23 Jan | A Coalgebraic Decision Procedure for NetKAT Nate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva, and Laure Thompson | Laure Thompson |
| 30 Jan | Common Compiler Optimisations are Invalid in the C11 Memory Model and What We Can Do About It Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli | Matthew Milano |
| 6 Feb | Erik Andersen | Erik Andersen |
| 13 Feb | Cancelled due to sickness | |
| 20 Feb | Programming Up To Congruence Vilhelm Sjöberg, Stephanie Weirich | Fran Mota |
| 27 Feb | On the Expressive Power of Programming Languages Felleisen | Fabian Mühlböck |
| 6 Mar | Using Category Theory to Design implicit conversions and Generic Operators John C. Reynolds | Xiang Long |
| 13 Mar | Minimization of Symbolic Automata Margus Veans | Steffen Smolka |
| 20 Mar | Justin Hsu | Justin Hsu |
| 27 Mar | The Push/Pull Model of Transactions Eric Koskinen and Matthew Parkinson | Isaac Sheff |
| 10 Apr | Program Boosting: Program Synthesis via Crowd-Sourcing Robert A Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes | Matt Loring |
| 17 Apr | Coarse-Grained Transactions Eric Koskinen, Matthew Parkinson, and Maurice Herlihy | Tom Magrino |
| 24 Apr | Genus: Making Generics Object-Oriented, Lightweight, and Expressive Yizhou Zhang, Matthew C. Loring, Guido Salvneschi, Barbra Liskov, and Andrew C. Myers | Yizhou Zhang |
| 1 May | Shill: A Secure Shell Scripting Language. Steve Chong | Steve Chong |
| 8 May | CANCELLED | |
| 15 May | Automatic Runtime Error Repair and Containment via Recovery Shepherding Fan Long, Stelios Sidiroglou-Douskos, Martin Rinard | Jonathan DiLorenzo |
| 22 May | Summer Organizational Meeting | |
Other suggested papers
xSee the PLDG wiki page
Last updated January 2015