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

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