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:

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


Publications

    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]


    Jongwook Kim*, Sunbeom So*, and Hakjoo Oh (* co-first authors)

    ICSE 2023: 45th International Conference on Software Engineering

    [paper] [artifact repo]


    Sunbeom So, Seongjoon Hong, and Hakjoo Oh

    Security 2021: 30th USENIX Security Symposium

    [paper] [tool] [benchmarks]


    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]


    Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh

    OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications

    [pdf]


    Sunbeom So, and Hakjoo Oh

    IJCAI 2018: International Joint Conference on Artificial Intelligence

    [pdf] [slide] [code]


    Sunbeom So, and Hakjoo Oh

    SAS 2017: Static Analysis Symposium

    [pdf] [slide] [code]


    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.

 

Academic Activities

Artifact Evaluation Committee (AEC) member

Journal Reviewer


Trips


Contact Information

sunbeomsoATgist.ac.kr (AT should be replaced with @)