[rvm-research] EXTENDED to 1/13: Call for position papers for WoDet 3, co-located with ASPLOS 2012

Hi everyone,

We have extended the deadline for position papers to WoDet 3 (Third
Workshop on Determinism and Correctness in Parallel Programming)
to next Friday, January 13.

Topics of interest include but are not limited to:

* Language extensions for disciplined parallel programming models
(deterministic, data race-free, etc.)
* Architecture, operating system, runtime system and compiler support
for parallel program correctness
* Concurrency debugging techniques
* New properties of parallel programs
* Limit studies and empirical studies of the cost of safety properties
* Studies of the applicability of correctness properties in parallel
programs and algorithms
* Concurrency bug avoidance techniques
* Real-world experience with safe parallel programming models, systems, or tools

goo.gl/K78CQ

Please submit!

Best,
-- Emery

--
Professor Emery Berger
Department of Computer Science
University of Massachusetts, Amherst
www.cs.umass.edu/~emery

------------------------------------------------------------------------------
Ridiculously easy VDI. With Citrix VDI-in-a-Box, you don't need a complex
infrastructure or vast IT resources to deliver seamless, secure access to
virtual desktops. With this all-in-one solution, easily deploy virtual 
desktops for less than the cost of PCs and save 60% on VDI infrastructure 
costs. Try it free! http://p.sf.net/sfu/Citrix-VDIinabox