Sunbeom So

According to our database, Sunbeom So authored at least 9 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models.

Sunbeom So, Hakjoo Oh

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations.

Jongwook Kim, Sunbeom So, Hakjoo Oh

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021

SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution.

Sunbeom So, Seongjoon Hong, Hakjoo Oh

Proceedings of the 30th USENIX Security Symposium, 2021

2020

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts.

Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2018

Automatic diagnosis and correction of logical errors for functional programming assignments.

Junho Lee, Dowon Song, Sunbeom So, Hakjoo Oh

Proc. ACM Program. Lang., 2018

Synthesizing Pattern Programs from Examples.

Sunbeom So, Hakjoo Oh

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Synthesizing Imperative Programs for Introductory Programming Assignments.

Sunbeom So, Hakjoo Oh

CoRR, 2017

Synthesizing Imperative Programs from Examples Guided by Static Analysis.

Sunbeom So, Hakjoo Oh

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Synthesizing regular expressions from examples for introductory automata assignments.

Mina Lee, Sunbeom So, Hakjoo Oh

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016