Moved to: https://gist-pal.github.io/
This page will be no longer maintained as of September 2023.
Sunbeom So (소순범)
Assistant Professor
School of Electrical Engineering and Computer Science,
GIST (Gwangju Institute of Science and Technology)
[CV] [Google Scholar]
Research Interests
I am interested in various research topics for improving the safety and reliability of software, including:
Software verification for automatically proving the absence of bugs in programs.
Software testing for automatically finding bugs in programs.
Software repair for automatically fixing bugs in programs.
Software synthesis for automatically generating safe and correct programs.
To tackle my research problems, I mainly develop and use techniques based on SMT-based formal methods, but I am also interested in using other techniques such as fuzzing to effectively achieve the goal of my research.
Education
2016.09 ~ 2022.08, M.S./Ph.D. Combined course. Dept.of Computer Science, Korea University
Thesis: Automatic Verification, Testing, and Repair of Smart Contracts
Advisor: Prof. Hakjoo Oh
2011.03 ~ 2016.08, B.S. Dept. of Computer Science, Korea University (Valedictorian at CS Department)
Publications
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models (accepted)
Sunbeom So, and Hakjoo Oh
[paper] [artifact repo]
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations (accepted)
Jongwook Kim*, Sunbeom So*, and Hakjoo Oh (* co-first authors)
ICSE 2023: 45th International Conference on Software Engineering
[paper] [artifact repo]
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
Sunbeom So, Seongjoon Hong, and Hakjoo Oh
Security 2021: 30th USENIX Security Symposium
[paper] [tool] [benchmarks]
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo Oh
S&P 2020: 41st IEEE Symposium on Security and Privacy
[paper] [video abstract] [talk] [tool] [benchmarks]
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh
OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[pdf]
Synthesizing Pattern Programs from Examples
Sunbeom So, and Hakjoo Oh
IJCAI 2018: International Joint Conference on Artificial Intelligence
Synthesizing Imperative Programs from Examples Guided by Static Analysis
Sunbeom So, and Hakjoo Oh
SAS 2017: Static Analysis Symposium
Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Mina Lee*, Sunbeom So*, and Hakjoo Oh (* co-first authors)
GPCE 2016: ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Honors (Selected)
I am grateful for funding my study.
The 27th Humantech Paper Award (Consolation Prize, 장려상). Samsung Electronics. 2021.
Naver Ph.D Fellowship Award. Naver. 2020.
Junior Fellow-Research Grant. Korea University. 2020 Fall ~ 2021 Spring.
Research Grant (Principal Investigator). National Research Foundation of Korea (NRF). June 2020 ~ May 2021.
Honor Graduates Scholarship. Korea University. 2017 Spring ~ 2020 Spring.
Undergraduate Student Scholarship. Kwanjeong Educational Foundation (관정 이종환 교육재단). 2015 Spring ~ 2016 Spring.
Academic Scholarship. Korea University. 2014 Fall.
Academic Scholarship. Korea University. 2012 Spring.
Academic Activities
Artifact Evaluation Committee (AEC) member
CAV 2023: 35th International Conference on Computer Aided Verification
OOPSLA 2020: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
Journal Reviewer
TSE: IEEE Transactions on Software Engineering
TOSEM: ACM Transactions on Software Engineering and Methodology
Trips
2016.10.30 ~ 2016.11.05, SPLASH, Amsterdam, Netherlands [pdf]
2017.01.02 ~ 2017.01.29, Oxford University (visiting student), Oxford, United Kingdom
2017.01.17 ~ 2017.01.21, POPL, Paris, France (selected as a participant in Student Research Competition)
2017.08.27 ~ 2017.09.02, SAS, New York, USA [pdf]
2018.07.12 ~ 2018.07.19, IJCAI, Stockholm, Sweden [pdf]
2019.10.20 ~ 2019.10.27, OOPSLA, Athens, Greece [pdf]
Contact Information
sunbeomsoATgist.ac.kr (AT should be replaced with @)