Sunbeom So

Ju n 20 17 Synthesizing Imperative Programs for Introductory Programming Assignments

Sunbeom So, Sunbeom So, .

Synthesizing regular expressions from examples for introductory automata assignments

Hakjoo Oh, Mina Lee, Sunbeom So, 2016, GPCE.

Automatic diagnosis and correction of logical errors for functional programming assignments

Hakjoo Oh, Junho Lee, Sunbeom So, 2018, Proc. ACM Program. Lang..

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

Heejo Lee, Hakjoo Oh, Myungho Lee, 2019, 2020 IEEE Symposium on Security and Privacy (SP).

SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution

Hakjoo Oh, Sunbeom So, Seongjoon Hong, 2021, USENIX Security Symposium.

Synthesizing Imperative Programs from Examples Guided by Static Analysis

Hakjoo Oh, Sunbeom So, Sunbeom So, 2017, SAS.

Synthesizing Pattern Programs from Examples

Hakjoo Oh, Sunbeom So, Sunbeom So, 2018, IJCAI.

Synthesizing Imperative Programs for Introductory Programming Assignments pdf

Hakjoo Oh, Sunbeom So, Sunbeom So, 2017, ArXiv.