The Discourje project aims to help programmers cope with channels and concurrency bugs in Clojure programs (that use core.async), based on dynamic analysis. The idea is that programmers write not only implementations of communication protocols in their Clojure programs, but also specifications. Discourje then offers a run-time verification library to ensure that channel actions in implementations are safe relative to specifications.

Suggested resources to get an overview of Discourje: talk 2 and/or paper 2.

1. Sung-Shik Jongmans. Automated Correctness Analysis for core.async. Dutch Clojure Days (DCD), 2022. [link]

2. Sung-Shik Jongmans. Automated Correctness Analysis for core.async. Clojure conference in Germany (:clojureD), 2022. [link]

3. Sung-Shik Jongmans. dcj-lint: Analysis of Specifications of Multiparty Sessions. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021. [link]

4. Sung-Shik Jongmans. Discourje: Runtime Verification of Communication Protocols in Clojure. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2020. [link]

5. Ruben Hamers. Discourje: Automatically validated message exchange patterns in Clojure. Dutch Clojure Day (DCD), 2019. [link]

1. Sung-Shik Jongmans. Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last. Proceedings of FM'24. [link, pdf]

2. Ruben Hamers, Erik Horlings, and Sung-Shik Jongmans. The Discourje Project: Run-Time Verification of Communication Protocols in Clojure. International Journal on Software Tools for Technology Transfer, 2022. [link, pdf]

3. Erik Horlings and Sung-Shik Jongmans. dcj-lint: Analysis of Specifications of Multiparty Sessions. Proceedings of ESEC/FSE'21. [link, pdf]

4. Ruben Hamers and Sung-Shik Jongmans. Discourje: Runtime Verification of Communication Protocols in Clojure. Proceedings of TACAS'20. [link, pdf]

• Ruben Hamers
• Erik Horlings
• Sung-Shik Jongmans