About

I am language engineer at Swat.engineering. Before, I was associate professor in the Department of Computer Science at Open University of the Netherlands. I am/was visiting researcher in the following institutes:

• Sep. 2023 – …: Department of Computer Science, Open University of the Netherlands
• Mar. 2019 – Sep. 2023: Centrum Wiskunde & Informatica (CWI), the Netherlands Foundation of Scientific Research Institutes (NWO-I)
• Mar. 2017 – Feb. 2019: Department of Computing, Imperial College London
• Sep. 2015 – Feb. 2017: Institute for Computing and Information Sciences, Radboud University Nijmegen

Publications

Here is a selection of my publications. See DBPL or Google Scholar for a more complete list.

In Proceedings

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

• Francisco Ferreira, Sung-Shik Jongmans. Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. ISSTA 2023, 1511-1514. [doi, pdf]

• Sung-Shik Jongmans, Francisco Ferreira. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. ECOOP 2023, LIPIcs 263, 9:1-29. [doi, pdf]

• Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans. Multiparty Session Typing in Java, Deductively. TACAS 2023, LNCS 13994, 19-27. [doi, pdf]

• Petra van den Bos and Sung-Shik Jongmans. VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs. FM 2023, LNCS 14000, 321–339. [doi, pdf]

• Sung-Shik Jongmans. Towards Gradual Multiparty Session Typing. ASE 2022, 146:1-3. [doi, pdf]

• Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, Jose Proenca. API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP 2022, LIPIcs 222, 27:1-28. [doi, pdf]

• Sung-Shik Jongmans and Petra van den Bos. A Predicate Transformer for Choreographies. ESOP 2022, LNCS 13240, 520–547. [doi, pdf]
  • Nominee EAPLS Best Paper Award
  • Nominee EATCS Best Paper Award
• Erik Horlings, Sung-Shik Jongmans. Analysis of Specifications of Multiparty Sessions with dcj-lint. ESEC/FSE 2021, 1590-1594. [doi, pdf]
  • Winner Best Demo Award

• Florian Joost Slob, Sung-Shik Jongmans. Prut4j: Protocol Unit Testing fo(u)r Java. ICST 2021, 448-453. [doi, pdf]

• Ruben Hamers, Sung-Shik Jongmans. Discourje: Runtime Verification of Communication Protocols in Clojure. TACAS 2020, LNCS 12078, 266-284. [doi, pdf]
  • Invitee special issue on TACAS 2020 in Int. J. Softw. Tools Technol. Transf.

• Sung-Shik Jongmans, Nobuko Yoshida. Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP 2020, LNCS 12075, 251-279. [doi, pdf]

• Sung-Shik Jongmans. Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. ICECCS 2019, 164-169. [doi, pdf]

• Sung-Shik Jongmans, Arjan Lamers, Marko van Eekelen. SOA and the Button Problem. FM 2019, LNCS 11800, 689-706. [doi, pdf]

• David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida. Distributed Programming using Role-Parametric Session Types in Go. POPL 2019, PACMPL 3, 29:1-30. [doi, pdf]

• Marco Krauweel, Sung-Shik Jongmans. Simpler Coordination of JavaScript Web Workers. COORDINATION 2017, LNCS 10319, 40-58. [doi, pdf]

• Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab. Scheduling Games for Concurrent Systems. COORDINATION 2016, LNCS 9686, 84-100. [doi, pdf]

• Sung-Shik Jongmans, Farhad Arbab. PrDK: Protocol Programming with Automata. TACAS 2016, LNCS 9636, 547-552. [doi, pdf]

• Sung-Shik Jongmans, Farhad Arbab. Take Command of Your Constraints! COORDINATION 2015, LNCS 9037, 117-132. [doi, pdf]
  • Invitee special issue on COORDINATION 2015 in Log. Methods Comput. Sci.

• Sung-Shik Jongmans, Sean Halle, Farhad Arbab. Automata-based Optimization of Interaction Protocols for Scalable Multicore Platforms. COORDINATION 2014, LNCS 8459, 65-82. [doi, pdf]

• Sung-Shik Jongmans, Christian Krause, Farhad Arbab. Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. COORDINATION 2011, LNCS 6721, 31-48. [doi, pdf]

In Journals

• Luc Edixhoven, Sung-Shik Jongmans. Balanced-by-Construction Regular and ω-Regular Languages. Int. J. Found. Comput. Sci. 34 (special issue on DLT 2021), 117-144. [doi]

• Ruben Hamers, Erik Horlings, Sung-Shik Jongmans. The Discourje project: run-time verification of communication protocols in Clojure. Int. J. Softw. Tools Technol. Transf. 24 (special issue on TACAS 2020), 757-782. [doi, pdf]

• Sung-Shik Jongmans, Farhad Arbab. Data optimizations for constraint automata. Log. Methods Comput. Sci. 12 (special issue on COORDINATION 2015), 11:1-38. [doi, pdf]

Projects

• Feb. 2023 – Aug. 2024: NGI Assure
• Mar. 2019 – Feb. 2023: NWO Veni
• Mar. 2017 – Feb. 2019: NWO Rubicon

Service

• 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, 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}

• 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