Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sung-Shik Jongmans
conf.researchr.org general profile
ASE 2022 profile
ECOOP 2019 profile
ECOOP 2022 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
ESEC/FSE 2021 profile
ICST 2021 profile
POPL 2019 profile
SPLASH 2020 profile
SPLASH 2023 profile
Registered user since Thu 4 Oct 2018
Name:
Sung-Shik Jongmans
Country:
Netherlands
Affiliation:
Open University of the Netherlands; CWI
Contributions
2023
ST
PC Member in Programme Committee within the ST30-track
ECOOP
Author of Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types within the Research Papers-track
External Reviewer in Extended Review Committee and External Reviewers within the Research Papers-track
ISSTA
Author of Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis within the Tool Demonstrations-track
2022
ASE
Author of Towards Gradual Multiparty Session Typing within the Late Breaking Results-track
ECOOP
Author of API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl) within the Research Papers-track
2021
ESEC/FSE
Author of Analysis of Specifications of Multiparty Sessions with dcj-lint within the Demonstrations-track
VORTEX
Committee Member in Program Committee within the VORTEX-track
SPIN
Open University of the Netherlands in Programming Committee within the SPIN-track
ICST
Author of Prut4j: Protocol Unit Testing fo(u)r Java within the Testing Tools Track-track
2020
FTfJP
Author of Discourje: Runtime Verification of Communication Protocols in Clojure within the FTfJP-track
2019
VORTEX
Session Chair of Session 1 (part of VORTEX 2019)
Invited Speaker of Invited talk: Monitoring Asynchronous Communications (in Clojure) within the VORTEX 2019-track
Committee Member in Program Committee within the VORTEX 2019-track
POPL
Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track
BEAT
Committee Member in Program Committee within the BEAT 2019-track
2018
ICOOOLPS
Author of Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free within the ICOOOLPS-track
Share
x
Wed 6 Dec 21:37