Myungho Lee (이명호)
Publications
2023
- Learning Seed-Adaptive Mutation Strategies for Greybox FuzzingMyungho Lee, Sooyoung Cha, and Hakjoo OhICSE 2023: International Conference on Software Engineering[pdf]
2022
- SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External ParametersSooyoung Cha, Myungho Lee, Seokhyun Lee, and Hakjoo OhICSE 2022: International Conference on Software Engineering🥇ACM SIGSOFT Distinguished Paper Award[pdf] [artifact]
2020
- Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific FeaturesMinseok Jeon, Myungho Lee, and Hakjoo OhOOPSLA 2020: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf]
- VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart ContractsSunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo OhS&P 2020: 41st IEEE Symposium on Security and Privacy[pdf] [artifact] [benchmarks] [video]
2019
- Automatic and Scalable Detection of Logical Errors in Functional Programming AssignmentsDowon Song, Myungho Lee, and Hakjoo OhOOPSLA 2019: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf] [artifact]
Software Analysis Lab. @ Korea University