(EC)2 2013: 6th International Workshop on Exploiting Concurrency Efficiently and Correctly13 - 14 July 2013, St. PetersburgRubrics: Seminar | IT Activity URL: http://zvonimir.info/events/ec2-2013/E-mail: email@example.comDescription:
The advent of multicore CPUs has created exciting new opportunities for building more efficient computing systems, as for instance the application of GPUs for hardware acceleration. Multicore CPUs are characterized by the spatial distribution of the cores and by the inherently concurrent execution of programs. These issues introduce difficult research challenges for analysis, programming, and verification.
There has been 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 and libraries; and new forms of hardware support for parallel processing. While developing tools for verifying and debugging concurrent systems has been an important theme in the verification community, we believe that formal methods research can go beyond
checking existing code and systems, and play a role in identifying suitable abstractions for concurrency. The goal of this annual workshop is thus to bring together researchers from the verification community with experts who are involved, on the one hand, in developing multicore architectures, programming languages, or concurrency libraries, and on the other hand, in distributed computing and concurrency theory. Ultimately, such a diverse environment should stimulate incubation of ideas leading to future concurrent system design an verification tools that are essential in the multi-core era.
The two-day workshop will include invited talks, presentations of position papers, and discussion periods. The position papers will be distributed before-hand on the CAV memory stick.
We seek submissions of position statements between 2 and 5 pages. There are many possible themes for a position paper, including a survey of the authors' relevant recent research, a discussion of deficiencies in current languages and tools, challenges for future verification research, and/or a vision for change.
Further details: http://zvonimir.info/events/ec2-2013/
Ivona Brandic, Vienna University of Technology
Greg Bronevetsky, Lawrence Livermore National Laboratory
Rupak Majumdar, Max Planck Institute for Software Systems
Madan Musuvathi, Microsoft Research
Manish Parashar, Rutgers University
Zvonimir Rakamaric, University of Utah (chair)
Zvonimir Rakamaric, University of Utah