Sung-Shik Jongmans

47 papers A* 1A 6B 3C 3Journal 15Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Synthetic Reconstruction of Multiparty Session Types.
Proc. ACM Program. Lang.
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
2025 J jnl
A Synthetic Reconstruction of Multiparty Session Types (with Appendix).
CoRR
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
2025 — conf
First-Person Choreographic Programming with Continuation-Passing Communications.
ESOP (2)
Sung-Shik Jongmans
2025 J jnl
Multiparty Session Typing, Embedded (Technical Report).
CoRR
Sung-Shik Jongmans
2025 — conf
Multiparty Session Typing, Embedded.
TACAS (1)
Sung-Shik Jongmans
2024 J jnl
Branching pomsets: Design, expressiveness and applications to choreographies.
J. Log. Algebraic Methods Program.
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani
2024 J jnl
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last (Technical Report).
CoRR
Sung-Shik Jongmans
2024 — conf
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last.
FM (2)
Sung-Shik Jongmans
2024 — ed.
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
FACS
Javier Cámara, Sung-Shik Jongmans
2023 J jnl
Balanced-by-Construction Regular and ω-Regular Languages.
Int. J. Found. Comput. Sci.
Luc Edixhoven, Sung-Shik Jongmans
2023 — conf
Choreographic Programming of Isolated Transactions.
PLACES@ETAPS
Ton Smeele, Sung-Shik Jongmans
2023 C ed.
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
COORDINATION
Sung-Shik Jongmans, Antónia Lopes
2023 — conf
Multiparty Session Typing in Java, Deductively.
TACAS (2)
Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans
2023 A conf
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis.
ISSTA
Francisco Ferreira, Sung-Shik Jongmans
2023 — conf
Run-Time Verification of Communication Protocols in Clojure.
ELS
Sung-Shik Jongmans
2023 J jnl
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact).
Dagstuhl Artifacts Ser.
Sung-Shik Jongmans, Francisco Ferreira
2023 A conf
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea).
ECOOP
Sung-Shik Jongmans, Francisco Ferreira
2023 B conf
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs.
FM
Petra van den Bos, Sung-Shik Jongmans
2022 A conf
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.
ESOP
Sung-Shik Jongmans, Petra van den Bos
2022 J jnl
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).
Dagstuhl Artifacts Ser.
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
2022 A conf
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.
ECOOP
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
2022 — conf
Branching Pomsets for Choreographies.
ICE
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou
2022 J jnl
Preface - Special Issue on selected and extended papers from FACS 2019.
Sci. Comput. Program.
Sung-Shik Jongmans, Farhad Arbab
2022 — conf
Realisability of Branching Pomsets.
FACS
Luc Edixhoven, Sung-Shik Jongmans
2022 — conf
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming.
ISoLA (1)
Sung-Shik Jongmans, José Proença
2022 J jnl
The Discourje project: run-time verification of communication protocols in Clojure.
Int. J. Softw. Tools Technol. Transf.
Ruben Hamers, Erik Horlings, Sung-Shik Jongmans
2022 A* conf
Towards Gradual Multiparty Session Typing.
ASE
Sung-Shik Jongmans
2021 — conf
Analysis of specifications of multiparty sessions with dcj-lint.
ESEC/SIGSOFT FSE
Erik Horlings, Sung-Shik Jongmans
2021 C conf
Balanced-By-Construction Regular and ømega-Regular Languages.
DLT
Luc Edixhoven, Sung-Shik Jongmans
2021 A conf
Prut4j: Protocol Unit Testing fo(u)r Java.
ICST
Florian Joost Slob, Sung-Shik Jongmans
2020 — conf
Discourje: Runtime Verification of Communication Protocols in Clojure.
TACAS (1)
Ruben Hamers, Sung-Shik Jongmans
2020 A conf
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.
ESOP
Sung-Shik Jongmans, Nobuko Yoshida
2020 — ed.
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
FACS
Farhad Arbab, Sung-Shik Jongmans
2020 — conf
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project.
ISoLA (1)
Ruben Hamers, Sung-Shik Jongmans
2019 J jnl
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang.
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
2019 B conf
SOA and the Button Problem.
FM
Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen
2019 B conf
Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs.
ICECCS
Sung-Shik Jongmans
2018 J jnl
Connectors meet Choreographies.
CoRR
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi
2018 — conf
Formalizing Propagation of Priorities in Reo, Using Eight Colors.
It's All About Coordination
Sung-Shik Jongmans
2018 — conf
Improved Architectures/Deployments with Elmo.
ICSOC Workshops
Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans
2018 — conf
Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs.
IPDPS Workshops
Bernie van Veen, Sung-Shik Jongmans
2018 — conf
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free.
ICOOOLPS@ECOOP
Micha Hergarden, Sung-Shik Jongmans
2017 J jnl
Combine and conquer: Relating BIP and Reo.
J. Log. Algebraic Methods Program.
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2016 C conf
Scheduling Games for Concurrent Systems.
COORDINATION
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab
2015 — conf
Relating BIP and Reo.
ICE
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
2014 J jnl
High-Level Protocol Engineering without Performance Penalty for Multi-Core.
ERCIM News
Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer
2012 J jnl
Software Engineering for Multi-core Platforms.
ERCIM News
Farhad Arbab, Sung-Shik Jongmans