| 1 | -- | 3 | Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic. An overview of the Oregon programming languages summer school |
| 6 | -- | 0 | Stefan Monnier, David Haguenauer. Singleton types here, singleton types there, singleton types everywhere: (abstract only) |
| 6 | -- | 7 | Stephanie Balzer, Thomas R. Gross. Modular reasoning about invariants over shared state with interposed data members: (abstract only) |
| 6 | -- | 0 | Matthew Danish, Hongwei Xi. Operating system development with ATS: work in progress: (abstract only) |
| 7 | -- | 8 | Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek. Challenge benchmarks for verification of real-time programs: (abstract only) |
| 7 | -- | 0 | Aaron Stump, Evan Austin. Resource typing in guru: (abstract only) |
| 7 | -- | 0 | Stephanie Weirich, Chris Casinghino. Arity-generic datatype-generic programming: (abstract only) |
| 7 | -- | 0 | Jan Christiansen, Daniel Seidel, Janis Voigtländer. Free theorems for functional logic programs: (abstract only) |