Sung-Shik Jongmans - ECOOP and ISSTA 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Registered user since Thu 4 Oct 2018

Name:Sung-Shik Jongmans

Country:Netherlands

Affiliation:Open University of the Netherlands; CWI

Contributions

2023

ECOOP

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types
External Reviewer in Extended Review Committee and External Reviewers within the Research Papers-track

ISSTA

Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile