Synthesizing regular expressions from examples for introductory automata assignments. - Mina Lee 002; Sunbeom So; Hakjoo Oh (GPCE, 2016)

Synthesizing Imperative Programs from Examples Guided by Static Analysis. - Sunbeom So; Hakjoo Oh (SAS, 2017)

Synthesizing Imperative Programs for Introductory Programming Assignments. - Sunbeom So; Hakjoo Oh (CoRR, 2017)

Synthesizing Pattern Programs from Examples. - Sunbeom So; Hakjoo Oh (IJCAI, 2018)

Automatic diagnosis and correction of logical errors for functional programming assignments. - Junho Lee; Dowon Song; Sunbeom So; Hakjoo Oh (Proc. ACM Program. Lang., 2018)

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. - Sunbeom So; Myungho Lee; Jisu Park; Heejo Lee; Hakjoo Oh (SP, 2020)

SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. - Sunbeom So; Seongjoon Hong; Hakjoo Oh (USENIX Security Symposium, 2021)

Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. - Jongwook Kim; Sunbeom So; Hakjoo Oh (ICSE, 2023)

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. - Sunbeom So; Hakjoo Oh (ESEC/SIGSOFT FSE, 2023)