Registered user since Thu 4 Oct 2018

Name:Sung-Shik Jongmans
Affiliation:Open University of the Netherlands; CWI


ST30 PC Member in Programme Committee within the ST30-track
ECOOP 2023 Author of Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types within the Research Papers-track
ASE 2022 Author of Towards Gradual Multiparty Session Typing within the Late Breaking Results-track
ECOOP 2022 Author of API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl) within the Research Papers-track
ESEC/FSE 2021 Author of Analysis of Specifications of Multiparty Sessions with dcj-lint within the Demonstrations-track
VORTEX 2021 Committee Member in Program Committee within the VORTEX-track
SPIN 2021 Open University of the Netherlands in Programming Committee within the SPIN-track
ICST 2021 Author of Prut4j: Protocol Unit Testing fo(u)r Java within the Testing Tools Track-track
FTfJP 2020 Author of Discourje: Runtime Verification of Communication Protocols in Clojure within the FTfJP-track
VORTEX 2019 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 2019 Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track
BEAT 2019 Committee Member in Program Committee within the BEAT 2019-track
ICOOOLPS 2018 Author of Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free within the ICOOOLPS-track