Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Myungho Lee
conf.researchr.org general profile
SPLASH 2019 profile
SPLASH 2020 profile
Not registered as user yet
Name:
Myungho Lee
Affiliation:
Korea University
Contributions
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
Share
x
Fri 25 Sep 12:07