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.

  • 11 Similar Profiles

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

Research Output

  • 279 Citations
  • 10 h-Index
  • 22 Conference contribution
  • 16 Article
  • 1 Editorial

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

  • 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

  • 1 Citation (Scopus)

    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

  • 1 Citation (Scopus)