| 2025 | ESOP | First-Person Choreographic Programming with Continuation-Passing Communications. | Sung-Shik Jongmans |
| 2025 | TACAS | Multiparty Session Typing, Embedded. | Sung-Shik Jongmans |
| 2024 | FM | Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last. | Sung-Shik Jongmans |
| 2023 | ECOOP | Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). | Sung-Shik Jongmans, Francisco Ferreira |
| 2023 | FM | VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. | Petra van den Bos, Sung-Shik Jongmans |
| 2023 | ISSTA | Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. | Francisco Ferreira, Sung-Shik Jongmans |
| 2023 | TACAS | Multiparty Session Typing in Java, Deductively. | Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans |
| 2022 | ECOOP | API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. | Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, Jos Proena |
| 2022 | ESOP | A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. | Sung-Shik Jongmans, Petra van den Bos |
| 2022 | ISoLA | ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. | Sung-Shik Jongmans, Jos Proena |
| 2021 | DLT | Balanced-By-Construction Regular and mega-Regular Languages. | Luc Edixhoven, Sung-Shik Jongmans |
| 2021 | ICST | Prut4j: Protocol Unit Testing fo(u)r Java. | Florian Joost Slob, Sung-Shik Jongmans |
| 2020 | ESOP | Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. | Sung-Shik Jongmans, Nobuko Yoshida |
| 2020 | ISoLA | Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project. | Ruben Hamers, Sung-Shik Jongmans |
| 2020 | TACAS | Discourje: Runtime Verification of Communication Protocols in Clojure. | Ruben Hamers, Sung-Shik Jongmans |
| 2019 | FM | SOA and the Button Problem. | Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen |
| 2019 | ICECCS | Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. | Sung-Shik Jongmans |
| 2018 | ECOOP | Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free. | Micha Hergarden, Sung-Shik Jongmans |
| 2018 | ICSOC | Improved Architectures/Deployments with Elmo. | Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans |
| 2016 | Coordination | Scheduling Games for Concurrent Systems. | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab |