Edit Profile (opens in new tab) Oh, Hakjoo Co-Author Distance Author ID: oh.hakjoo Published as: Oh, Hakjoo External Links: MGP Documents Indexed: 6 Publications since 2011 1 Contribution as Editor Co-Authors: 8 Co-Authors with 6 Joint Publications 87 Co-Co-Authors all top 5 Co-Authors 1 single-authored 3 Heo, Kihong 2 Yang, Hongseok 1 Brutschy, Lucas 1 Cha, Sooyoung 1 Jeong, Sehun 1 Ko, Yoonseok 1 So, Sunbeom 1 Yi, Kwangkeun Serials 1 Formal Methods in System Design 1 Computer Languages, Systems & Structures 1 Lecture Notes in Computer Science Fields 7 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 9 times in 7 Documents Cited by ▼ Year ▼ Access analysis-based tight localization of abstract memories. Zbl 1317.68033 Oh, Hakjoo; Brutschy, Lucas; Yi, Kwangkeun 5 2011 Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis. Zbl 1425.68069 Heo, Kihong; Oh, Hakjoo; Yang, Hongseok 3 2016 Synthesizing imperative programs from examples guided by static analysis. Zbl 1420.68075 So, Sunbeom; Oh, Hakjoo 1 2017 Synthesizing imperative programs from examples guided by static analysis. Zbl 1420.68075 So, Sunbeom; Oh, Hakjoo 1 2017 Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis. Zbl 1425.68069 Heo, Kihong; Oh, Hakjoo; Yang, Hongseok 3 2016 Access analysis-based tight localization of abstract memories. Zbl 1317.68033 Oh, Hakjoo; Brutschy, Lucas; Yi, Kwangkeun 5 2011 all cited Publications top 5 cited Publications all top 5 Cited by 17 Authors 2 Chawdhary, Aziem 2 King, Andy 1 Beckschulze, Eva 1 Brauer, Jörg 1 Heo, Kihong 1 Kim, Sung Kook 1 Ko, Yoonseok 1 Kowalewski, Stefan 1 Lee, Wonchan 1 Lee, Woosuk 1 Oh, Hakjoo 1 Thakur, Aditya V. 1 Venet, Arnaud J. 1 Wang, Xudong 1 Xu, Xuezheng 1 Xue, Jingling 1 Yi, Kwangkeun Cited in 2 Serials 1 Formal Methods in System Design 1 Computer Languages, Systems & Structures Cited in 1 Field 7 Computer science (68-XX) Citations by Year