Sung-Shik Jongmans

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 34

Top Topics

Regular Languages

Communication Protocol

Concurrent Programs

Top Venues

J. Log. Algebraic Methods Program.

Publications

Sung-Shik Jongmans
Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last (Technical Report). CoRR (2024)
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani
Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. 136 (2024)
Petra van den Bos, Sung-Shik Jongmans
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. FM (2023)
Sung-Shik Jongmans, Francisco Ferreira
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). ECOOP (2023)
Francisco Ferreira, Sung-Shik Jongmans
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. ISSTA (2023)
Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans
Multiparty Session Typing in Java, Deductively. TACAS (2) (2023)
Luc Edixhoven, Sung-Shik Jongmans
Balanced-by-Construction Regular and ω-Regular Languages. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Ton Smeele, Sung-Shik Jongmans
Choreographic Programming of Isolated Transactions. CoRR (2023)
Sung-Shik Jongmans, Francisco Ferreira
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Sung-Shik Jongmans, Farhad Arbab
Preface - Special Issue on selected and extended papers from FACS 2019. Sci. Comput. Program. 218 (2022)
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 (5) (2022)
Sung-Shik Jongmans, José Proença
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. ISoLA (1) (2022)
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP (2022)
Sung-Shik Jongmans, Petra van den Bos
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. ESOP (2022)
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou
Branching Pomsets for Choreographies. ICE (2022)
Luc Edixhoven, Sung-Shik Jongmans
Realisability of Branching Pomsets. FACS (2022)
Sung-Shik Jongmans
Towards Gradual Multiparty Session Typing. ASE (2022)
Florian Joost Slob, Sung-Shik Jongmans
Prut4j: Protocol Unit Testing fo(u)r Java. ICST (2021)
Luc Edixhoven, Sung-Shik Jongmans
Balanced-By-Construction Regular and ømega-Regular Languages. DLT (2021)
Erik Horlings, Sung-Shik Jongmans
Analysis of specifications of multiparty sessions with dcj-lint. ESEC/SIGSOFT FSE (2021)
Ruben Hamers, Sung-Shik Jongmans
Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project. ISoLA (1) (2020)
Ruben Hamers, Sung-Shik Jongmans
Discourje: Runtime Verification of Communication Protocols in Clojure. TACAS (1) (2020)
Sung-Shik Jongmans, Nobuko Yoshida
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP (2020)
Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen
SOA and the Button Problem. FM (2019)
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3 (POPL) (2019)
Sung-Shik Jongmans
Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. ICECCS (2019)
Sung-Shik Jongmans
Formalizing Propagation of Priorities in Reo, Using Eight Colors. It's All About Coordination (2018)
Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans
Improved Architectures/Deployments with Elmo. ICSOC Workshops (2018)
Bernie van Veen, Sung-Shik Jongmans
Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs. IPDPS Workshops (2018)
Micha Hergarden, Sung-Shik Jongmans
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free. ICOOOLPS@ECOOP (2018)
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi
Connectors meet Choreographies. CoRR (2018)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86 (1) (2017)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab
Scheduling Games for Concurrent Systems. COORDINATION (2016)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
Relating BIP and Reo. ICE (2015)
Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer
High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014 (99) (2014)
Farhad Arbab, Sung-Shik Jongmans
Software Engineering for Multi-core Platforms. ERCIM News 2012 (91) (2012)