conf.researchr.org / Myungho Lee
Registered user since Fri 20 Nov 2020
Name:Myungho Lee
Affiliation:Korea University
Contributions
2024
2023
2020
2019
SPLASH
- 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