Sunbeom So
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICSE | Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. | Jongwook Kim, Sunbeom So, Hakjoo Oh |
| 2020 | SP | VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. | Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh |
| 2018 | IJCAI | Synthesizing Pattern Programs from Examples. | Sunbeom So, Hakjoo Oh |
| 2017 | SAS | Synthesizing Imperative Programs from Examples Guided by Static Analysis. | Sunbeom So, Hakjoo Oh |
| 2016 | GPCE | Synthesizing regular expressions from examples for introductory automata assignments. | Mina Lee, Sunbeom So, Hakjoo Oh |