Sung-Shik Jongmans

Logo

λx.x·"@rug.nl" "s.s.t.q.jongmans"

Nijenborgh 9
9747 AG, Groningen
the Netherlands

Bio | Papers | Funding | Service

View My GitHub Profile

Bio

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:

Papers

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. [doipdf] Award: ETAPS Distinguished Paper
TACAS’25 Sung-Shik Jongmans. Multiparty Session Typing, Embedded. In press. [doipdf]

2024
 
FM’24 Sung-Shik Jongmans. Discourje: Run-Time Verification of Communication Protocols in Clojure – Live at Last. LNCS 14934, 158-166. [doipdf]

2023
 
ECOOP’23 Sung-Shik Jongmans, Francisco Ferreira. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. LIPIcs 263, 9:1-29. [doipdf]
FM’23 Petra van den Bos and Sung-Shik Jongmans. VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs. LNCS 14000, 321-339. [doipdf]
ISSTA’23 Francisco Ferreira, Sung-Shik Jongmans. Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. 1511-1514. [doipdf]
TACAS’23 Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans. Multiparty Session Typing in Java, Deductively. LNCS 13994, 19-27. [doipdf]

2022
 
ASE’22 Sung-Shik Jongmans. Towards Gradual Multiparty Session Typing. 146:1-3. [doipdf]
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. [doipdf]
ESOP’22 Sung-Shik Jongmans, Petra van den Bos. A Predicate Transformer for Choreographies. LNCS 13240, 520-547. [doipdf] Nomination: EAPLS Best PaperNomination: EATCS Best Paper

2021
 
FSE’21 Erik Horlings, Sung-Shik Jongmans. Analysis of Specifications of Multiparty Sessions with dcj-lint. 1590-1594. [doipdf] Award: FSE Best Demo
ICST’21 Florian Joost Slob, Sung-Shik Jongmans. Prut4j: Protocol Unit Testing fo(u)r Java. 448-453. [doipdf]

2020
 
ESOP’20 Sung-Shik Jongmans, Nobuko Yoshida. Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. LNCS 12075, 251-279. [doipdf]
TACAS’20 Ruben Hamers, Sung-Shik Jongmans. Discourje: Runtime Verification of Communication Protocols in Clojure. LNCS 12078, 266-284. [doipdf] 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. [doipdf]
ICECCS’19 Sung-Shik Jongmans. Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. 164-169. [doipdf]
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. [doipdf]

2010⁠–⁠2018
 
COORDIN
ATION’17
Marco Krauweel, Sung-Shik Jongmans. Simpler Coordination of JavaScript Web Workers. LNCS 10319, 40-58. [doipdf]
COORDIN
ATION’16
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab. Scheduling Games for Concurrent Systems. LNCS 9686, 84-100. [doipdf]
COORDIN
ATION’15
Sung-Shik Jongmans, Farhad Arbab. Take Command of Your Constraints! LNCS 9037, 117-132. [doipdf] 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. [doipdf]
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. [doipdf]
TACAS’16 Sung-Shik Jongmans, Farhad Arbab. PrDK: Protocol Programming with Automata. LNCS 9636, 547-552. [doipdf]

Funding

Service