λx.x·"@rug.nl" "s.s.t.q.jongmans"
Nijenborgh 9
9747 AG, Groningen
the Netherlands
I am developer at Swat.engineering (2023–…). Also, I am guest researcher in the Bernouilli Institute at University of Groningen (2025–…).
Before, I was lecturer, assistant professor, and associate professor in the Department of Computer Science at Open University of the Netherlands (2015–2023). Also, I was guest researcher in the following institutes:
This is a selection of my papers. See DBPL or Google Scholar for a full list.
2025 | |
---|---|
ESOP’25 | Sung-Shik Jongmans. First-Person Choreographic Programming with Continuation-Passing Communications. In press. [ |
TACAS’25 | Sung-Shik Jongmans. Multiparty Session Typing, Embedded. In press. [ |
2024 |
|
FM’24 | Sung-Shik Jongmans. Discourje: Run-Time Verification of Communication Protocols in Clojure – Live at Last. LNCS 14934, 158-166. [doi, pdf] |
2023 |
|
ECOOP’23 | Sung-Shik Jongmans, Francisco Ferreira. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. LIPIcs 263, 9:1-29. [doi, pdf] |
FM’23 | Petra van den Bos and Sung-Shik Jongmans. VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs. LNCS 14000, 321-339. [doi, pdf] |
ISSTA’23 | Francisco Ferreira, Sung-Shik Jongmans. Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. 1511-1514. [doi, pdf] |
TACAS’23 | Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans. Multiparty Session Typing in Java, Deductively. LNCS 13994, 19-27. [doi, pdf] |
2022 |
|
ASE’22 | Sung-Shik Jongmans. Towards Gradual Multiparty Session Typing. 146:1-3. [doi, pdf] |
ECOOP’22 | Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, Jose Proenca. API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. LIPIcs 222, 27:1-28. [doi, pdf] |
ESOP’22 | Sung-Shik Jongmans, Petra van den Bos. A Predicate Transformer for Choreographies. LNCS 13240, 520-547. [doi, pdf] ⭐ Nomination: EAPLS Best Paper⭐ Nomination: EATCS Best Paper |
2021 |
|
FSE’21 | Erik Horlings, Sung-Shik Jongmans. Analysis of Specifications of Multiparty Sessions with dcj-lint. 1590-1594. [doi, pdf] ⭐ Award: FSE Best Demo |
ICST’21 | Florian Joost Slob, Sung-Shik Jongmans. Prut4j: Protocol Unit Testing fo(u)r Java. 448-453. [doi, pdf] |
2020 |
|
ESOP’20 | Sung-Shik Jongmans, Nobuko Yoshida. Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. LNCS 12075, 251-279. [doi, pdf] |
TACAS’20 | Ruben Hamers, Sung-Shik Jongmans. Discourje: Runtime Verification of Communication Protocols in Clojure. LNCS 12078, 266-284. [doi, pdf] ⭐ Invitation: TACAS Special Issue (International Journal on Software Tools for Technology Transfer) |
2019 |
|
FM’19 | Sung-Shik Jongmans, Arjan Lamers, Marko van Eekelen. SOA and the Button Problem. LNCS 11800, 689-706. [doi, pdf] |
ICECCS’19 | Sung-Shik Jongmans. Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. 164-169. [doi, pdf] |
POPL’19 | David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida. Distributed Programming using Role-Parametric Session Types in Go. PACMPL 3, 29:1-30. [doi, pdf] |
2010–2018 |
|
COORDIN ATION’17 |
Marco Krauweel, Sung-Shik Jongmans. Simpler Coordination of JavaScript Web Workers. LNCS 10319, 40-58. [doi, pdf] |
COORDIN ATION’16 |
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab. Scheduling Games for Concurrent Systems. LNCS 9686, 84-100. [doi, pdf] |
COORDIN ATION’15 |
Sung-Shik Jongmans, Farhad Arbab. Take Command of Your Constraints! LNCS 9037, 117-132. [doi, pdf] ⭐ Invitation: COORDINATION Special Issue (Logical Methods in Computer Science) |
COORDIN ATION’14 |
Sung-Shik Jongmans, Sean Halle, Farhad Arbab. Automata-based Optimization of Interaction Protocols for Scalable Multicore Platforms. LNCS 8459, 65-82. [doi, pdf] |
COORDIN ATION’11 |
Sung-Shik Jongmans, Christian Krause, Farhad Arbab. Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. LNCS 6721, 31-48. [doi, pdf] |
TACAS’16 | Sung-Shik Jongmans, Farhad Arbab. PrDK: Protocol Programming with Automata. LNCS 9636, 547-552. [doi, pdf] |
PC chair: COORDINATION 2023 (with Antónia Lopes), FACS 2019 (with Farhad Arbab), FACS 2023 (with Javier Cámara), FOCLASA 2020 (with Ernesto Pimentel)
PC member: A-TEST 2016, BEAT 2019, COORDINATION 2024, ECOOP 2025, FACS {2017, 2018, 2021, 2022}, FORTE 2023, ICE {2020, 2021, 2022, 2023}, MSE {2017, 2018}, Microservices {2017, 2019}, PLACES 2023, SPIN 2021, TTCS {2017, 2020}, VORTEX {2019, 2021, 2025}
Reviewer (conferences & workshops): APLAS 2014, CALCO-Tools 2013, COORDINATION {2011, 2012, 2013, 2015}, ECOOP 2017, ESOP 2021, FACS 2011, FOCLASA 2017, FORTE {2013, 2015}, FoSSaCS 2015, FSEN 2013, ICFEM 2014, PEPM 2018, SAC 2013, SEFM 2021, SOFSEM 2017, TCS 2012, WS-FM 2012
Reviewer (journals): Formal Aspects of Computing, Journal of Logical and Algebraic Methods in Programming (5x), Logical Methods in Computer Science, PeerJ Computer Science, Science of Computer Programming (8x), ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering