About
Members
Research
Publications
Talks
Courses
Trips
Gallery
Myungho Lee (이명호)
Ph.D. Student
Software Analysis Lab
Computer Science Department
College of Informatics
Korea University
Publications
2023
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing
Myungho Lee
, Sooyoung Cha, and Hakjoo Oh
ICSE 2023: International Conference on Software Engineering
[
pdf
]
2022
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters
Sooyoung Cha,
Myungho Lee
, Seokhyun Lee, and Hakjoo Oh
ICSE 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 Features
Minseok Jeon,
Myungho Lee
, and Hakjoo Oh
OOPSLA 2020: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[
pdf
]
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Sunbeom So,
Myungho Lee
, Jisu Park, Heejo Lee, and Hakjoo Oh
S&P 2020: 41st IEEE Symposium on Security and Privacy
[
pdf
] [
artifact
] [
benchmarks
] [
video
]
2019
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Dowon Song,
Myungho Lee
, and Hakjoo Oh
OOPSLA 2019: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
[
pdf
] [
artifact
]
Software Analysis Lab. @ Korea University