Sung-Shik Jongmans

Orcid: 0000-0002-4394-8745

Affiliations:
  • Open University of the Netherlands, Heerlen, The Netherlands
  • Radboud University Nijmegen, The Netherlands
  • Centrum Wiskunde & Informatica, Amsterdam, The Netherlands


According to our database1, Sung-Shik Jongmans authored at least 63 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Branching pomsets: Design, expressiveness and applications to choreographies.
J. Log. Algebraic Methods Program., January, 2024

2023
Balanced-by-Construction Regular and ω-Regular Languages.
Int. J. Found. Comput. Sci., 2023

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact).
Dagstuhl Artifacts Ser., 2023

Choreographic Programming of Isolated Transactions.
Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023

Multiparty Session Typing in Java, Deductively.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs.
Proceedings of the Formal Methods - 25th International Symposium, 2023

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea).
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
The Discourje project: run-time verification of communication protocols in Clojure.
Int. J. Softw. Tools Technol. Transf., 2022

Preface - Special Issue on selected and extended papers from FACS 2019.
Sci. Comput. Program., 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).
Dagstuhl Artifacts Ser., 2022

Branching Pomsets for Choreographies.
Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Towards Gradual Multiparty Session Typing.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Realisability of Branching Pomsets.
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.
Proceedings of the Programming Languages and Systems, 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
Analysis of specifications of multiparty sessions with dcj-lint.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Prut4j: Protocol Unit Testing fo(u)r Java.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Balanced-By-Construction Regular and ømega-Regular Languages.
Proceedings of the Developments in Language Theory - 25th International Conference, 2021

2020
Discourje: Runtime Verification of Communication Protocols in Clojure.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.
Proceedings of the Programming Languages and Systems, 2020

2019
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang., 2019

Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

SOA and the Button Problem.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata.
Sci. Comput. Program., 2018

Connectors meet Choreographies.
CoRR, 2018

Modular Programming of Synchronization and Communication Among Tasks in Parallel Programs.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

Improved Architectures/Deployments with Elmo.
Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018

Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free.
Proceedings of the 13th Workshop on Implementation, 2018

Formalizing Propagation of Priorities in Reo, Using Eight Colors.
Proceedings of the It's All About Coordination, 2018

2017
Constraint automata with memory cells and their composition.
Sci. Comput. Program., 2017

Combine and conquer: Relating BIP and Reo.
J. Log. Algebraic Methods Program., 2017

Simpler Coordination of JavaScript Web Workers.
Proceedings of the Coordination Models and Languages, 2017

2016
A procedure for splitting data-aware processes and its application to coordination.
Sci. Comput. Program., 2016

Global consensus through local synchronization: A formal basis for partially-distributed coordination.
Sci. Comput. Program., 2016

Data optimizations for constraint automata.
Log. Methods Comput. Sci., 2016

PrDK: Protocol Programming with Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

(Context-Sensitivity In) Reo, Revisited.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Scheduling Games for Concurrent Systems.
Proceedings of the Coordination Models and Languages, 2016

2015
Partially distributed coordination with Reo and constraint automata.
Serv. Oriented Comput. Appl., 2015

Relating BIP and Reo.
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Coordinating Multicore Computing.
Proceedings of the Formal Methods for Multicore Programming, 2015

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Composing Constraint Automata, State-by-State.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Take Command of Your Constraints!
Proceedings of the Coordination Models and Languages, 2015

2014
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code.
Serv. Oriented Comput. Appl., 2014

High-Level Protocol Engineering without Performance Penalty for Multi-Core.
ERCIM News, 2014

Toward Sequentializing Overparallelized Protocol Code.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Partially-Distributed Coordination with Reo.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms.
Proceedings of the Coordination Models and Languages, 2014

2013
PMG: Multi-core Metabolite Identification.
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Global Consensus through Local Synchronization.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012
Software Engineering for Multi-core Platforms.
ERCIM News, 2012

Overview of Thirty Semantic Formalisms for Reo.
Sci. Ann. Comput. Sci., 2012

Modularizing and Specifying Protocols among Threads
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

A Procedure for Splitting Processes and its Application to Coordination
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Automatic Code Generation for the Orchestration of Web Services with Reo.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

State Space Reduction for Model Checking Agent Programs.
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010
Model Checking Agent Programs by Using the Program Interpreter.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010


  Loading...