Sunbeom So -

Registered user since Thu 30 Jun 2016

Name:Sunbeom So

Affiliation:Korea University

Contributions

2026

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

Author of Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations within the Artifact Evaluation-track
Author of Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations within the Technical Track-track

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