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

ICSE 2024 Committee Member in Research Track within the Research Track-track
SPLASH 2023 Author of Modular Component-Based Quantum Circuit Synthesis within the OOPSLA-track
ISSTA 2023 PC Member in Technical Papers within the Technical Papers-track
ICSE 2023 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
ICST 2023 Author of Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics within the Industry-track
CC 2023 Committee Member in Program Committee within the Research Papers-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
Session Chair of Synthesis I (part of OOPSLA)
ESEC/FSE 2022 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
ISSTA 2022 Programme Committee in Program Committee within the Technical Papers-track
PLDI 2022 Author of (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the SIGPLAN Track-track
Committee Member in PLDI within the PLDI-track
ICSE 2022 Author of SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters within the Technical Track-track
Author of NPEX: Repairing Java Null Pointer Exceptions without Tests within the Technical Track-track
POPL 2022 Author of Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs within the POPL-track
Keynote Speaker of Tutorial 1: Data-driven program analysis: combining machine learning and program analysis within the Virtual Workshop-track
SPLASH 2021 Session Chair of Program Synthesis - mirror (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
APLAS 2021 Program Chair in Organising Committee within the Research Papers-track
Session Chair of Invited talk 1 (part of Keynote Talks)
Program Chair in Program Committee within the Research Papers-track
ESEC/FSE 2021 Author of Context-Aware and Data-Driven Feedback Generation for Programming Assignments within the Research Papers-track
OCaml 2021 Committee Member in Program Committee within the OCaml 2021-track
ECOOP 2021 PC Member in Program Committee within the ECOOP Technical Papers-track
Session Chair of Empirical Studies / Parallelism (time band 3) (part of ECOOP Technical Papers)
ICSE 2021 Committee Member in Program Committee within the Technical Track-track
Author of CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse within the Technical Track-track
TAPAS 2020 Committee Member in Program Committee within the TAPAS-track
Co-chair in Organizing Committee within the TAPAS-track
APLAS 2020 Committee Member in Program Committee
SPLASH 2020 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
ESEC/FSE 2020 Author of Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy within the Research Papers-track
ISSTA 2020 Committee 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
ICSE 2020 Author 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
LCTES 2020 pc in Program Committee within the LCTES 2020-track
PLDI 2020 Author of Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the PLDI Research Papers-track
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
ICSE 2019 Author of Resource-aware Program Analysis via Online Abstraction Coarsening within the Technical Track-track
ESEC/FSE 2018 Author of MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C within the Research Papers-track
PLATEAU 2018 Author of Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview within the PLATEAU 2018-track
SPLASH 2018 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
* ICSE 2018 * Author of Automatically Generating Search Heuristics for Concolic Testing within the Technical Papers -track
SPLASH 2017 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
GPCE 2016 Author of Synthesizing Regular Expressions from Examples for Introductory Automata Assignments within the GPCE-track
SPLASH 2015 Author of Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation within the OOPSLA-track