Hakjoo Oh
- 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
- CENTRIS: A Precise and Scalable Approach for Identifying Modified\n Open-Source Software Reuse
2021/02/11 by Seunghoon Woo, Woo, Seunghoon, Sung-Han Park +7 · 6 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research
- End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks
2017/03/07 by Min-je Choi, Choi, Min-je, Sehun Jeong +5 · 1 voice
Computer Science · #cs.SE #cs.NE
- Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
2019/07/23 by Sooyoung Cha, Seongjoon Hong, Cha, Sooyoung +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- 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