conf.researchr.org / Hakjoo Oh
Registered user since Sun 7 May 2017
Name:Hakjoo Oh
Country:South Korea
Affiliation:Korea University
Personal website: http://prl.korea.ac.kr
Research interests:Program Analysis
Contributions
2024
2023
ICSE
- Author of Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing within the Artifact Evaluation-track
- Author of Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing within the Technical Track-track
- Author of Learning to Boost Disjunctive Static Bug-Finders within the Artifact Evaluation-track
- Author of Learning to Boost Disjunctive Static Bug-Finders within the Technical Track-track
- Author of Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations within the Artifact Evaluation-track
- Author of Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations within the Technical Track-track
2022
SPLASH
ESEC/FSE
- Author of Context-Aware and Data-Driven Feedback Generation for Programming Assignments within the ESEC/FSE 2021-track
- Author of PyTER: Effective Program Repair for Python Type Errors within the Research Papers-track
- Author of Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy within the ESEC/FSE 2020-track
PLDI
ICSE
2021
SPLASH
APLAS
ECOOP
2020
TAPAS
SPLASH
- Author of Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA Artifacts-track
- Author of Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA-track
- Committee Member in External Review Committee within the OOPSLA-track
ISSTA
ICSE
2019
SPLASH
- 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
2018
SPLASH
- Author 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
2017
SPLASH
- Author 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