Hakjoo Oh

View Scopus Profile

Hakjoo Oh

Professor

Calculated based on number of publications stored in Pure and citations from Scopus
20092024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    Effective Unit Test Generation for Java Null Pointer Exceptions

    Lee, M., Bak, J., Moon, S., Jhi, Y. C. & Oh, H., 2024 Oct 27, Proceedings - 2024 39th ACM/IEEE International Conference on Automated Software Engineering, ASE 2024. Association for Computing Machinery, Inc, p. 1044-1056 13 p. (Proceedings - 2024 39th ACM/IEEE International Conference on Automated Software Engineering, ASE 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Towards Effective Static Type-Error Detection for Python

    Oh, W. & Oh, H., 2024 Oct 27, Proceedings - 2024 39th ACM/IEEE International Conference on Automated Software Engineering, ASE 2024. Association for Computing Machinery, Inc, p. 1808-1820 13 p. (Proceedings - 2024 39th ACM/IEEE International Conference on Automated Software Engineering, ASE 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2023

    Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics

    Kim, J., Jeon, M., Jang, S. & Oh, H., 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023. Institute of Electrical and Electronics Engineers Inc., p. 317-326 10 p. (Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations

    Kim, J., So, S. & Oh, H., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 2224-2236 13 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing

    Lee, M., Cha, S. & Oh, H., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 384-396 13 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Citations (Scopus)

  • Learning to Boost Disjunctive Static Bug-Finders

    Ko, Y. & Oh, H., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 1097-1109 13 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    3 Citations (Scopus)

  • SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models

    So, S. & Oh, H., 2023 Nov 30, ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). Association for Computing Machinery, Inc, p. 185-197 13 p. (ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)

  • V1SCAN: Discovering 1-day Vulnerabilities in Reused C/C++ Open-source Software Components Using Code Classification Techniques

    Woo, S., Choi, E., Lee, H. & Oh, H., 2023, 32nd USENIX Security Symposium, USENIX Security 2023. USENIX Association, p. 6541-6556 16 p. (32nd USENIX Security Symposium, USENIX Security 2023; vol. 9).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)
  • 2022

    NPEX: Repairing Java Null Pointer Exceptions without Tests

    Lee, J., Hong, S. & Oh, H., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. IEEE Computer Society, p. 1532-1544 13 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Citations (Scopus)

  • PyTER: effective program repair for Python type errors

    Oh, W. & Oh, H., 2022 Nov 7, ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Roychoudhury, A., Cadar, C. & Kim, M. (eds.). Association for Computing Machinery, Inc, p. 922-934 13 p. (ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Citations (Scopus)

  • SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters

    Cha, S., Lee, M., Lee, S. & Oh, H., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. IEEE Computer Society, p. 2068-2079 12 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)
  • 2021

    CENTRIS: A precise and scalable approach for identifying modified open-source software reuse

    Woo, S., Park, S., Kim, S., Lee, H. & Oh, H., 2021 May, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. IEEE Computer Society, p. 860-872 13 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    40 Citations (Scopus)

  • Context-aware and data-driven feedback generation for programming assignments

    Song, D., Lee, W. & Oh, H., 2021 Aug 20, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, Inc, p. 328-340 13 p. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    18 Citations (Scopus)

  • SMARTEST: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution

    So, S., Hong, S. & Oh, H., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, p. 1361-1378 18 p. (Proceedings of the 30th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    69 Citations (Scopus)
  • 2020

    Effective white-box testing of deep neural networks with adaptive neuron-selection strategy

    Lee, S., Cha, S., Lee, D. & Oh, H., 2020 Jul 18, ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, Inc, p. 165-176 12 p. (ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    61 Citations (Scopus)

  • Making symbolic execution promising by learning aggressive state-pruning strategy

    Cha, S. & Oh, H., 2020 Nov 8, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery, Inc, p. 147-158 12 p. (ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Citations (Scopus)

  • Optimizing homomorphic evaluation circuits by program synthesis and term rewriting

    Lee, D. K., Lee, W., Oh, H. & Yi, K., 2020 Jun 11, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 503-518 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    27 Citations (Scopus)

  • SAVER: Scalable, precise, and safe memory-error repair

    Hong, S., Lee, J., Lee, J. & Oh, H., 2020 Jun 27, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. IEEE Computer Society, p. 271-283 13 p. 3380323. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    24 Citations (Scopus)

  • VERISMART: A highly precise safety verifier for ethereum smart contracts

    So, S., Lee, M., Park, J., Lee, H. & Oh, H., 2020 May, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers Inc., p. 1678-1694 17 p. 9152689. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2020-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    126 Citations (Scopus)
  • 2019

    Concolic testing with adaptively changing search heuristics

    Cha, S. & Oh, H., 2019 Aug 12, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 235-245 11 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    19 Citations (Scopus)

  • Resource-Aware Program Analysis Via Online Abstraction Coarsening

    Heo, K., Oh, H. & Yang, H., 2019 May, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer Society, p. 94-104 11 p. 8812143. (Proceedings - International Conference on Software Engineering; vol. 2019-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    21 Citations (Scopus)
  • 2018

    Automatically generating search heuristics for concolic testing

    Cha, S., Hong, S., Lee, J. & Oh, H., 2018 May 27, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, p. 1244-1254 11 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    32 Citations (Scopus)

  • MemFix: Static analysis-based repair of memory deallocation errors for C

    Lee, J., Hong, S. & Oh, H., 2018 Oct 26, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 95-106 12 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    41 Citations (Scopus)

  • Synthesizing pattern programs from examples

    So, S. & Oh, H., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1618-1624 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    4 Citations (Scopus)

  • Template-guided concolic testing via online learning

    Cha, S., Lee, S. & Oh, H., 2018 Sept 3, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 408-418 11 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Citations (Scopus)
  • 2017

    End-to-end prediction of buffer overruns from raw source code via neural memory networks

    Choi, M. J., Jeong, S., Oh, H. & Choo, J., 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1546-1553 8 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    26 Citations (Scopus)

  • Machine-Learning-Guided Selectively Unsound Static Analysis

    Heo, K., Oh, H. & Yi, K., 2017 Jul 19, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 519-529 11 p. 7985690. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    52 Citations (Scopus)

  • Synthesizing imperative programs from examples guided by static analysis

    So, S. & Oh, H., 2017, Static Analysis - 24th International Symposium, SAS 2017, Proceedings. Ranzato, F. (ed.). Springer Verlag, p. 364-381 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10422 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    25 Citations (Scopus)

  • VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery

    Kim, S., Woo, S., Lee, H. & Oh, H., 2017 Jun 23, 2017 IEEE Symposium on Security and Privacy, SP 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 595-614 20 p. 7958600. (Proceedings - IEEE Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    329 Citations (Scopus)
  • 2016

    Automated source code instrumentation for verifying potential vulnerabilities

    Li, H., Oh, J., Oh, H. & Lee, H., 2016, ICT Systems Security and Privacy Protection - 31st IFIP TC 11 International Conference, SEC 2016, Proceedings. Katzenbeisser, S. & Hoepman, J.-H. (eds.). Springer New York LLC, p. 211-226 16 p. (IFIP Advances in Information and Communication Technology; vol. 471).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    9 Citations (Scopus)

  • Learning a strategy for choosing widening thresholds from a large codebase

    Cha, S., Jeong, S. & Oh, H., 2016, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Proceedings. Igarashi, A. (ed.). Springer Verlag, p. 25-41 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10017 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Citations (Scopus)

  • Learning a variable-clustering strategy for octagon from labeled data generated by a static analysis

    Heo, K., Oh, H. & Yang, H., 2016, Static Analysis - 23rd International Symposium, SAS 2016, Proceedings. Rival, X. (ed.). Springer Verlag, p. 237-256 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9837 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    30 Citations (Scopus)

  • Synthesizing regular expressions from examples for introductory automata assignments

    Lee, M., So, S. & Oh, H., 2016 Oct 20, GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2016. Schaefer, I. & Fischer, B. (eds.). Association for Computing Machinery, Inc, p. 70-80 11 p. (GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    41 Citations (Scopus)
  • 2015

    Learning a strategy for adapting a program analysis via Bayesian optimisation

    Oh, H., Yang, H. & Yi, K., 2015 Oct 23, OOPSLA 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications. Eugster, P. & Aldrich, J. (eds.). Association for Computing Machinery, p. 572-588 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 25-30-Oct-2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    42 Citations (Scopus)
  • 2014

    Selective context-sensitivity guided by impact pre-analysis

    Oh, H., Lee, W., Heo, K., Yang, H. & Yi, K., 2014, PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 475-484 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    58 Citations (Scopus)
  • 2012

    Design and implementation of sparse global analyses for C-like languages

    Oh, H., Heo, K., Lee, W., Lee, W. & Yi, K., 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 229-238 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    53 Citations (Scopus)
  • 2011

    Access analysis-based tight localization of abstract memories

    Oh, H., Brutschy, L. & Yi, K., 2011, Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Proceedings. p. 356-370 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6538 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Citations (Scopus)

  • Access-based localization with bypassing

    Oh, H. & Yi, K., 2011, Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Proceedings. p. 50-65 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7078 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)
  • 2009

    Identifying static analysis techniques for finding non-fix hunks in fix revisions

    Jung, Y., Oh, H. & Yi, K., 2009, 1st ACM International Workshop on Data-Intensive Software Management and Minings, DSMM'09, Co-located with the 18th ACM International Conference on Information and Knowledge Management, CIKM 2009. p. 13-17 5 p. (International Conference on Information and Knowledge Management, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • Large spurious cycle in global static analyses and its algorithmic mitigation

    Oh, H., 2009, Programming Languages and Systems - 7th Asian Symposium, APLAS 2009, Proceedings. p. 14-29 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5904 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Citations (Scopus)