09361 Abstracts Collection – Design and Validation of Concurrent Systems

2022/01/26 by Flanagan, Cormac, Graf, Susanne, Parthasarathy, Madhusan +1
#Concurrency #Programming #Specification #Testing #Validation #Verification

paper · doi:10.4230/dagsemproc.09361.1

Abstract

The Dagstuhl Seminar 09361 ``Design and Validation of Concurrent Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics from August 30 to September 4, 2009. During the seminar, participants presented their current research, and ongoing work and open problems were discussed. This paper reviews the seminar topics and goals, and provides abstracts of the presentations given during the seminar. Links to extended abstracts or full papers are provided, if available.

Related

• 07361 Abstracts Collection – Programming Models for Ubiquitous Parallelism
• 06161 Abstracts Collection – Simulation and Verification of Dynamic Systems
• 08412 Abstracts Collection – Science of Design : High-Impact Requirements for Software-Intensive Systems
• 07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems
• 10181 Abstracts Collection – Program Development for Extreme-Scale Computing