Volume 44, Number 1, January 2009
Zhong Shao, Benjamin C. Pierce (Eds.):
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009.
ACM 2009, ISBN 978-1-60558-379-2
Contents 
Volume 44, Number 2, February 2009
Stephanie Weirich (Ed.):
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009.
ACM 2009, ISBN 978-1-60558-508-6
Contents
Volume 44, Number 3, March 2009
Mary Lou Soffa, Mary Jane Irwin (Eds.):
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009.
ACM 2009, ISBN 978-1-60558-406-5
Contents
Volume 44, Number 4, April 2009
Daniel A. Reed, Vivek Sarkar (Eds.):
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009.
ACM 2009, ISBN 978-1-60558-397-6
Contents
Volume 44, Number 5, May 2009
Leaf Petersen, Manuel M. T. Chakravarty (Eds.):
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009.
ACM 2009, ISBN 978-1-60558-417-1
Contents
Volume 44, Number 6, June 2009
Michael Hind, Amer Diwan (Eds.):
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009.
ACM 2009, ISBN 978-1-60558-392-1
Contents
Volume 44, Number 7, July 2009
Christoph M. Kirsch, Mahmut T. Kandemir (Eds.):
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009.
ACM 2009, ISBN 978-1-60558-356-3
Contents
Volume 44, Number 8, August 2009
Stephen Chong, David A. Naumann (Eds.):
Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009.
ACM 2009, ISBN 978-1-60558-645-8
Contents
Volume 44, Number 9, September 2009
Graham Hutton, Andrew P. Tolmach (Eds.):
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009.
ACM 2009, ISBN 978-1-60558-332-7
Contents
Volume 44, Number 10, October 2009
Shail Arora, Gary T. Leavens (Eds.):
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA.
ACM 2009, ISBN 978-1-60558-766-0
Contents
Volume 44, Number 11, November 2009
Activities
- 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.
1-3
PLVP'10
- Stefan Monnier, David Haguenauer:
Singleton types here, singleton types there, singleton types everywhere: (abstract only).
6
- Matthew Danish, Hongwei Xi:
Operating system development with ATS: work in progress: (abstract only).
6
- Stephanie Balzer, Thomas R. Gross:
Modular reasoning about invariants over shared state with interposed data members: (abstract only).
6-7
- Aaron Stump, Evan Austin:
Resource typing in guru: (abstract only).
7
- Jan Christiansen, Daniel Seidel, Janis Voigtländer:
Free theorems for functional logic programs: (abstract only).
7
- Stephanie Weirich, Chris Casinghino:
Arity-generic datatype-generic programming: (abstract only).
7
- Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek:
Challenge benchmarks for verification of real-time programs: (abstract only).
7-8
Volume 44, Number 12, December 2009
James Noble (Ed.):
Proceedings of the 5th Symposium on Dynamic Languages, DLS 2009, October 26, 2010, Orlando, Florida, USA.
ACM 2009, ISBN 978-1-60558-769-1
Contents
Last update Fri May 24 20:48:31 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
