Programming Languages Seminar Fall 2010
Meeting time: Tuesdays noon-1PMClassroom: NEB 218
Discussion Schedule
| Date | Paper/Topic/Visitor | Discussion Leader |
| 8/31 | Organizational Meeting | Everyone |
| 9/7 | Modules as Objects in Newspeak | Wes |
| 9/14 | Scalable Shape Analysis For Systems Code | Ken |
| 9/21 | Proving That Non-Blocking Algorithms Don’t Block | Ken |
| 9/28 | ICFP Week, probably no seminar | |
| 10/5 | Lippmeier thesis | |
| 10/12 | A Random recent Abstract Interpretation Paper | Scott |
| 10/19 | (No seminar) | |
| 10/26 | OOPSLA Recap (Proceedings; papers include OO-FPGAs, Shape invariants, analysis comparison, Intervals) | Scott |
| 11/2 | Haskell STM (slides) | Wes |
| 11/9 | Bamboo | Scott |
| 11/16 | Abstraction and Refinement for Local Reasoning | Ken |
| 11/23 | Template Haskell | Zach |
| 11/30 | Pedigree Types | Scott |
| 12/7 | Task Types (slides) | Scott |
| 12/14 |
Potential topics for discussion:
- Sensor related papers, e.g. Safe NesC, ...
- bitC overview
- Cook papers (Ken)
- Existential types and other advanced type theory
- Basics of program analysis: abstract interpretation, context-, flow-, and path-sensitivity.
- Newspeak modules
- Ur
- PLDI 2010
- POPL 2010
- OOPSLA 2010
- ECOOP 2010
- Our own research: BSJ (Zach), Dyna inference (Wes), Typed Coqa (Scott), Shape analysis for practical data structures (Ken), Sensor languages (Hari)