Hakjoo Oh - SPLASH 2019

Sun 20 - Fri 25 October 2019 Athens, Greece

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

SPLASH 2019	Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA-track Author of Automatically Fixing Memory-Leaks within the Posters-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 Posters-track Author of Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction within the Posters-track Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA Artifacts-track
Show activities from other conferences

SPLASH 2019-profile
View general profile