• Sign in
  • Sign up
conf.researchr.org / Myungho Lee
  • SPLASH 2019 profile
  • SPLASH 2020 profile

Registered user since Fri 20 Nov 2020

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
xFri 5 Mar 02:10
using conf.researchr.org (v1.43.1)
Support page
Sign Up