International Papers

---

⭐ indicates top-tier conferences.

• SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
  Sunbeom So, and Hakjoo Oh
  ESEC/FSE 2023: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
  [pdf] [supplementary] [slides] [github]
  ⭐ Top-tier in Software Engineering
  


• Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations
  Jongwook Kim*, Sunbeom So*, and Hakjoo Oh (*: co-first authors)
  ICSE 2023: 45th International Conference on Software Engineering
  [pdf] [slides] [github]
  ⭐ Top-tier in Software Engineering

• SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
  Sunbeom So, Seongjoon Hong, and Hakjoo Oh
  Security 2021: 30th USENIX Security Symposium
  [pdf] [slides] [github]
  ⭐ Top-tier in Computer Security


• VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
  Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo Oh
  IEEE S&P 2020: 41st IEEE Symposium on Security and Privacy
  [pdf] [slides] [github]
  ⭐ Top-tier in Computer Security


• Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
  Junho Lee, Dowon Song, Sunbeom So, and Hakjoo Oh
  OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  [pdf] [slides] [github]
  ⭐ Top-tier in Programming Languages


• Synthesizing Pattern Programs from Examples
  Sunbeom So, and Hakjoo Oh
  IJCAI 2018: International Joint Conference on Artificial Intelligence
  [pdf] [slides] [github]


• Synthesizing Imperative Programs from Examples Guided by Static Analysis
  Sunbeom So, and Hakjoo Oh
  SAS 2017: Static Analysis Symposium
  [pdf] [slides] [github]


• Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
  Mina Lee*, Sunbeom So*, and Hakjoo Oh (*: co-first authors)
  GPCE 2016: ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
  [pdf] [slides] [github]