Sung-Shik Jongmans -

Registered user since Thu 4 Oct 2018

Name:Sung-Shik Jongmans

Country:Netherlands

Affiliation:Open University of the Netherlands; CWI

Contributions

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