Sunbeom So | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Hakjoo Oh
5 publications
Heejo Lee
3 publications
Myungho Lee
1 publication
Jisu Park
1 publication

research

∙ 08/29/2019

VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

We present VeriSmart, a highly precise verifier for ensuring arithmetic ...

0 Sunbeom So, et al. ∙

research

∙ 02/21/2017

Synthesizing Imperative Programs from Examples Guided by Static Analysis

We present a novel algorithm that synthesizes imperative programs for in...

0 Sunbeom So, et al. ∙