Hakjoo Oh

Registered user since Sun 7 May 2017

Name: Hakjoo Oh

Affiliation: Korea University, South Korea

Personal website: http://prl.korea.ac.kr

Research interests: Program Analysis

Contributions

TAPAS 2020Committee Member in Program Committee within the 11th Workshop on Tools for Automatic Program Analysis (TAPAS 2020)-track
Co-chair in Organizing Committee within the 11th Workshop on Tools for Automatic Program Analysis (TAPAS 2020)-track
APLAS 2020Committee Member in Program Committee
ECOOP 2021PC Member in Program Committee within the ECOOP Research Papers-track
LCTES 2020pc in Program Committee within the LCTES 2020-track
ISSTA 2020Committee Member in Program Committee within the WoSCA-track
Author of Effective White-box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy within the Technical Papers-track
SPLASH 2020Committee Member in External Review Committee within the OOPSLA-track
PLDI 2020Author of Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the PLDI Research Papers-track
ICSE 2021Committee Member in Program Committee within the Technical Track-track
SPLASH 2019Author 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
PLATEAU 2018Author of Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview within the PLATEAU 2018-track
ICSE 2020Author of SAVER: Scalable, Precise, and Safe Memory-Error Repair within the Technical Papers-track
Programme Committee in Program Committee within the Software Engineering in Practice-track
SPLASH 2018Author of Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling within the Posters-track
Author of Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments within the Posters-track
Committee Member in Review Committee within the OOPSLA-track
Author of Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments within the OOPSLA-track
Author of Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling within the Artifacts-track
Session Chair of Types and Contracts (part of OOPSLA)
Author of Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments within the Artifacts-track
Author of Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling within the OOPSLA-track
ICSE 2019Author of Resource-aware Program Analysis via Online Abstraction Coarsening within the Technical Track-track
ESEC/FSE 2018Author of MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C within the Research Papers-track
SPLASH 2017Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the Posters-track
Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the OOPSLA-track
Author of Data-Driven Context-Sensitivity for Points-to Analysis within the OOPSLA-track
Author of Data-Driven Context-Sensitivity for Points-to Analysis within the Posters-track
GPCE 2016Author of Synthesizing Regular Expressions from Examples for Introductory Automata Assignments within the GPCE-track
* ICSE 2018 *Author of Automatically Generating Search Heuristics for Concolic Testing within the Technical Papers -track
SPLASH 2015Author of Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation within the OOPSLA-track