Registered user since Sun 7 May 2017
Name:Hakjoo Oh
Country:Korea, South
Affiliation:Korea University
Personal website: http://prl.korea.ac.kr
Research interests:Program Analysis
Contributions
2019
SPLASH
- Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
- Automatically Fixing Memory-Leaks
- Precise Safety Verification of Smart Contracts
- Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
- Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction
- Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
SPLASH 2019-profile
View general profile
View general profile