Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs | lit.salon