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	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
Show activities from other conferences

SPLASH 2019-profile
View general profile