Verismart: A highly precise safety verifier for ethereum smart contracts S So, M Lee, J Park, H Lee, H Oh 2020 IEEE Symposium on Security and Privacy (SP), 1678-1694, 2020 | 127 | 2020 |
{SmarTest}: Effectively hunting vulnerable transaction sequences in smart contracts through language {Model-Guided} symbolic execution S So, S Hong, H Oh 30th USENIX Security Symposium (USENIX Security 21), 1361-1378, 2021 | 74 | 2021 |
Synthesizing regular expressions from examples for introductory automata assignments M Lee, S So, H Oh Proceedings of the 2016 ACM SIGPLAN International Conference on Generative …, 2016 | 73 | 2016 |
Synthesizing imperative programs from examples guided by static analysis S So, H Oh International Static Analysis Symposium, 364-381, 2017 | 36 | 2017 |
Automatic diagnosis and correction of logical errors for functional programming assignments J Lee, D Song, S So, H Oh Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018 | 28 | 2018 |
Synthesizing Pattern Programs from Examples. S So, H Oh IJCAI, 1618-1624, 2018 | 12 | 2018 |
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models S So, H Oh Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 3 | 2023 |
DIVER: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations J Kim, S So, H Oh 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 1 | 2023 |
Apparatus and method for obtaining vulnerable transaction sequence in smart contract H Oh, SO Sunbeom, S Hong US Patent App. 17/602,372, 2022 | 1 | 2022 |
Synthesizing imperative programs for introductory programming assignments S So, H Oh Static Analysis Symposium, 2017 | 1 | 2017 |
Synthesizing Imperative Programs from Examples S So, TH Choi, J Jung, H Oh Journal of KIISE 44 (9), 986-991, 2017 | | 2017 |