Sunbeom So
- VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
2019/08/29 by Sunbeom So, So, Sunbeom, Myungho Lee +7 · 7 citations
Computer Science · #Advanced Malware Detection Techniques #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing
- Synthesizing Imperative Programs from Examples Guided by Static Analysis
2017/02/21 by Sunbeom So, So, Sunbeom, Hakjoo Oh +1 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques #Teaching and Learning Programming