Sung-Shik Jongmans -

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

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