Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
This conference talk from the 27th International Symposium on Practical Aspects of Declarative Languages (PADL'25) presents an innovative approach for verifying Java programs' compliance with concurrency coding rules. Explore how researchers Lars-Åke Fredlund, Ángel Herranz, and Julio Mariño from Universidad Politécnica de Madrid developed methods to check if programs correctly use libraries like java.util.concurrent.locks for synchronizing concurrent tasks. The presentation demonstrates how coding rules can be formalized as Prolog predicates that evaluate whether a program's interaction history with the library follows permitted patterns. Learn about their evaluation methodology involving approximately two hundred independent monitor-based Java implementations analyzed against concurrency coding rules. This 32-minute talk, sponsored by ACM SIGPLAN, was presented at the PADL 2025 conference held January 20-21, 2025.
