Fwd: PLPV 2010 accepted papers

[Cormac Flanagan]

The ACM SIGPLAN Workshop on Programming Languages meets Program
Verification (PLPV) 2010 will be held on Tuesday, January 19, 2010,
and co-located with POPL in Madrid.

The list of accepted papers is:

   *  Challenge Benchmarks for Verification of Real-time Programs.
By Tomas Kalibera, Gary Leavens and Jan Vitek.

   * Arity-generic datatype-generic programming.
By Stephanie Weirich and Chris Casinghino.

   * Free Theorems for Functional Logic Programs.
By Jan Christiansen, Daniel Seidel and Janis Voigtländer.

   * Singleton types here, Singleton types there, Singleton types
everywhere.
By Stefan Monnier and David Haguenauer.

   * Operating system development with ATS.
By Matthew Danish and Hongwei Xi.

   * Resource Typing in Guru.
By Aaron Stump and Evan Austin.

   * Modular Reasoning about Invariants over Shared State with
Interposed Data Members.
By Stephanie Balzer and Thomas Gross.

Further information is available at: http://slang.soe.ucsc.edu/plpv10/

 --
Cormac Flanagan and Jean-Christophe Filliātre
Co-chairs, ACM SIGPLAN Workshop on
Programming Languages meets Program Verification