[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Exploiting Concurrency Efficiently and Correctly: (EC)^2 ---Call for Participation

We apologize if you receive multiple copies of this announcement. Please
spread the word to your colleagues
who might be interested.


                   CALL FOR Participation

Exploiting Concurrency Efficiently and Correctly -- (EC)^2
                   CAV 2010 Workshop
            July 20-21, 2010, Edinburgh, UK




- Bill Gropp, University of Illinois, Urbana-Champaign.
- Tim Harris, Microsoft Research, Cambridge.
- Miriam Leeser, Northeastern University.
- Keshav Pingali, University of Texas, Austin.


TUE 7/20

Invited talk: Keshav Pingali (UT Austin): Parallel Programming Needs
New Foundations.

* (EC)2 in EC2. Thomas Henzinger, Anmol Tomar, Vasu Singh, Thomas Wies
and Damien Zufferey.

* PENELOPE: Weaving Threads to Violate Atomicity. Azadeh Farzan,
Madhusudan Parthasarathy and Francesco Sorrentino.

* Fast Multi-Level Locks for Java. Khilan Gudka and Susan Eisenbach.

Open discussion 11:30-12:30 Topic: Challenge Problems for Concurrency

Invited talk: Tim Harris (Microsoft Research, Cambridge): Programming
models for the Barrelfish multi-kernel operating system.

* Statically Computing Upper Bounds on Object Calls for Pessimistic
Concurrency Control. Konrad Siek and Pawel Wojciechowski.

* Symbolic Predictive Analysis to Expose Concurrency Errors at
Runtime. Chao Wang, Malay Ganai and Aarti Gupta.

* Performance loss between concept and keyboard. Andras Salamon and
Vashti Galpin.

Q-and-A session with all the speakers 4:30-5:00
WED 7/21

Invited talk: Bill Gropp (UIUC): Challenges in Using the Message
Passing Interface in Multicore and Heterogeneous Systems.

* Verification for Portability, Scalability, and Grokkability. Alan
Humphrey, Christopher Derrick, Beth Tibbitts, Anh Vo, Sarvani
Vakkalanka, Ganesh Gopalakrishnan, Bronis de Supinski, Martin Schulz
and Greg Bronevetsky.

* A Contract Language for Race-Freedom. Rajesh Karmani and Madhusudan

* Model Checking in Bits and Pieces. Ariel Cohen, Kedar Namjoshi,
Yaniv Sa'ar, Lenore Zuck and Katya Kisyova.

Open discussion 11:30-12:30 Topic: Concurrency Education.

Invited talk: Miriam Leeser (Northeastern): GPU programming: bugs,
pitfalls and the importance of correctness in biomedical and
scientific applications.

* Issues on Memory Management for Component-Based Models. Marius Bozga
and Emmanuel Sifakis.

* Memory Model Relaxations to Boost TM Performance. Vasu Singh.

* PUG: A symbolic verification and test generation tool for GPU
programs. Guodong Li and Ganesh Gopalakrishnan.

Q-and-A session with all the speakers 4:30-5:00



Our ability to effectively harness the computational power of the next
generation of multiprocessor and multicore architectures is predicated
upon advances in programming languages and tools for developing
concurrent software. This has resulted in a surge of
concurrency-related research activity from different viewpoints, such
as rethinking of programming abstractions and memory models;
standardization and formalization of commonly used APIs (e.g., MPI,
OpenMP); and new forms of hardware support for parallel processing.

While developing tools for verifying and debugging concurrent systems
has been an important theme at CAV, we believe that formal methods
research can go beyond checking existing code/systems, and play a role
in identifying the "right" abstractions for concurrency. The goal of
this workshop is to bring together CAV researchers with experts who
are involved in developing multicore architectures, programming
languages, and concurrency libraries.

The 2008 edition of (EC)^2 was held at Princeton with over 80
attendees, as detailed at
. The 2009
edition of (EC)^2 was the highest attended CAV 2009 workshop.