Moved to: https://gist-pal.github.io/

This page will be no longer maintained as of September 2023.

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

    ESEC/FSE 2023: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 

    [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

    [pdf] [slide] [code]

• Synthesizing Imperative Programs from Examples Guided by Static Analysis

    Sunbeom So, and Hakjoo Oh

    SAS 2017: Static Analysis Symposium

    [pdf] [slide] [code]

• 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 

    [pdf] [slide] [code]

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 @)