Sunbeom So -

Registered user since Thu 30 Jun 2016

Name:Sunbeom So

Country:Republic of Korea

Affiliation:Korea University

Contributions

2026

SPLASH

Author of Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios within the OOPSLA-track

ESEC/FSE

Author of SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning within the Research Papers-track

ICST

Committee Member in Program Committee within the Short Papers, Vision and Emerging Results-track

2023

ESEC/FSE

Author of SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models within the Research Papers-track

ICSE

2020

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2019

SPLASH

Author of Precise Safety Verification of Smart Contracts within the Posters-track

2018

PLATEAU

Author of Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview within the PLATEAU 2018-track

SPLASH

2017

POPL

Author of Synthesizing Imperative Programs from Examples for Introductory Programming Assignments within the Student Research Competition-track

2016

GPCE

Author of Synthesizing Regular Expressions from Examples for Introductory Automata Assignments within the GPCE-track