If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Hakjoo Oh is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 10 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 248 Citations
  • 9 h-Index
  • 21 Conference contribution
  • 15 Article
  • 1 Editorial

A machine-learning algorithm with disjunctive model for data-driven program analysis

Jeon, M., Jeong, S., Cha, S. & Oh, H., 2019 Jun, In : ACM Transactions on Programming Languages and Systems. 41, 2, 13.

Research output: Contribution to journalArticle

  • 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 proceedingConference contribution

  • Preface

    Chang, B. Y. E. & Oh, H., 2019 Jan 1, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11822 LNCS, p. v-vi

    Research output: Contribution to journalEditorial

    Resource-Aware Program Analysis Via Online Abstraction Coarsening

    Heo, K., Oh, H. & Yang, H., 2019 May 1, 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 proceedingConference contribution

  • Adaptive static analysis via learning with Bayesian optimization

    Kihong, H. E. O., Oh, H., Yang, H. & Kwangkeun, Y. I., 2018 Nov 1, In : ACM Transactions on Programming Languages and Systems. 40, 4, 14.

    Research output: Contribution to journalArticle

  • 1 Citation (Scopus)