Concepedia

Sunbeom So

SS

6

Publications

272

Citations

6

H-Index

2016

Active since

Affiliations

Korea University(Current)

Sunbeom So is an author at Korea University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSyntaxGrammarLanguage

Publications per year

2016–2023

6

Publications

6

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

Sunbeom So, Myungho Lee, Jisu Park et al. · 2020 · 135 citations · Full text

Engineering, Information Security, Verification +24

Synthesizing regular expressions from examples for introductory automata assignments

Mina Lee, Sunbeom So, Hakjoo Oh · 2016 · 55 citations

Engineering, Weighted Automaton, Natural Language Processing +19

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

Sunbeom So, Seongjoon Hong, Hakjoo Oh · 2021 · 25 citations

Smart Contract Language, Engineering, Program Analysis +12

Automatic diagnosis and correction of logical errors for functional programming assignments

Junho Lee, Dowon Song, Sunbeom So et al. · Proceedings of the ACM on Programming Languages · 2018 · 23 citations · Full text

Engineering, Verification, Software Engineering +22

Synthesizing regular expressions from examples for introductory automata assignments

Mina Lee, Sunbeom So, Hakjoo Oh · ACM SIGPLAN Notices · 2016 · 18 citations

Engineering, Weighted Automaton, Natural Language Processing +19

Rows per page

1–5 of 6