Myungho Lee -

Registered user since Fri 20 Nov 2020

Name:Myungho Lee

Affiliation:Korea University

Contributions

ICSE 2022	Author of SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters within the Technical Track-track
SPLASH 2020	Author of Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA-track Author of Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA Artifacts-track
SPLASH 2019	Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the Posters-track Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA-track Author of Precise Safety Verification of Smart Contracts within the Posters-track Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA Artifacts-track