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
2018
SPLASH
- Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
- Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
- Committee Member in Review Committee within the OOPSLA-track
- Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
- Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
- Session Chair of Types and Contracts (part of OOPSLA)
- Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
- Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
SPLASH 2018-profile
View general profile
View general profile