Sunbeom So

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 10

Top Topics

Programming Assignments

Automatic Diagnosis

Symbolic Execution

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Jongwook Kim, Sunbeom So, Hakjoo Oh
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. ICSE (2023)
Sunbeom So, Hakjoo Oh
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. ESEC/SIGSOFT FSE (2023)
Sunbeom So, Seongjoon Hong, Hakjoo Oh
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. USENIX Security Symposium (2021)
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. IEEE Symposium on Security and Privacy (2020)
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts. CoRR (2019)
Junho Lee, Dowon Song, Sunbeom So, Hakjoo Oh
Automatic diagnosis and correction of logical errors for functional programming assignments. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Sunbeom So, Hakjoo Oh
Synthesizing Pattern Programs from Examples. IJCAI (2018)
Sunbeom So, Hakjoo Oh
Synthesizing Imperative Programs for Introductory Programming Assignments. CoRR (2017)
Sunbeom So, Hakjoo Oh
Synthesizing Imperative Programs from Examples Guided by Static Analysis. SAS (2017)
Mina Lee, Sunbeom So, Hakjoo Oh
Synthesizing regular expressions from examples for introductory automata assignments. GPCE (2016)