default search action
Hakjoo Oh
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j26]Chan Gu Kang
, Joonghoon Lee
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification. Proc. ACM Program. Lang. 8(OOPSLA2): 140-164 (2024) - [j25]Seungmin Jeon
Quantum Probabilistic Model Checking for Time-Bounded Properties. Proc. ACM Program. Lang. 8(OOPSLA2): 557-587 (2024) - [j24]Minseok Jeon
PL4XGL: A Programming Language Approach to Explainable Graph Learning. Proc. ACM Program. Lang. 8(PLDI): 2148-2173 (2024) - 2023
- [j23]Chan Gu Kang
Modular Component-Based Quantum Circuit Synthesis. Proc. ACM Program. Lang. 7(OOPSLA1): 348-375 (2023) - [j22]DongKwon Lee
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Trans. Program. Lang. Syst. 45(3): 16:1-16:37 (2023) - 2022
- [j21]Minseok Jeon
Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [j20]Sooyoung Cha
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. IEEE Trans. Software Eng. 48(9): 3640-3663 (2022) - 2021
- [j19]Donghoon Jeon
A practical algorithm for learning disjunctive abstraction heuristics in static program analysis. Inf. Softw. Technol. 135: 106564 (2021) - 2020
- [j18]Minseok Jeon
Learning graph-based heuristics for pointer analysis without handcrafting application-specific features. Proc. ACM Program. Lang. 4(OOPSLA): 179:1-179:30 (2020) - 2019
- [j17]Dowon Song, Myungho Lee, Hakjoo Oh:
Automatic and scalable detection of logical errors in functional programming assignments. Proc. ACM Program. Lang. 3(OOPSLA): 188:1-188:30 (2019) - [j16]Minseok Jeon
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis. ACM Trans. Program. Lang. Syst. 41(2): 13:1-13:41 (2019) - 2018
- [j15]Kihong Heo
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. Formal Methods Syst. Des. 53(2): 189-220 (2018) - [j14]Sooyoung Cha
A scalable learning algorithm for data-driven program analysis. Inf. Softw. Technol. 104: 1-13 (2018) - [j13]Minseok Jeon
Precise and scalable points-to analysis via data-driven context tunneling. Proc. ACM Program. Lang. 2(OOPSLA): 140:1-140:29 (2018) - [j12]Junho Lee, Dowon Song, Sunbeom So
Automatic diagnosis and correction of logical errors for functional programming assignments. Proc. ACM Program. Lang. 2(OOPSLA): 158:1-158:30 (2018) - [j11]Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi:
Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Trans. Program. Lang. Syst. 40(4): 14:1-14:37 (2018) - 2017
- [j10]Sehun Jeong, Minseok Jeon
Data-driven context-sensitivity for points-to analysis. Proc. ACM Program. Lang. 1(OOPSLA): 100:1-100:28 (2017) - [j9]Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang:
Automatically generating features for learning program analysis heuristics for C-like languages. Proc. ACM Program. Lang. 1(OOPSLA): 101:1-101:25 (2017) - [j8]Kihong Heo, Hakjoo Oh
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Softw. Pract. Exp. 47(11): 1677-1705 (2017) - [j7]Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Sound Non-Statistical Clustering of Static Analysis Alarms. ACM Trans. Program. Lang. Syst. 39(4): 16:1-16:35 (2017) - 2016
- [j6]Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Widening with thresholds via binary search. Softw. Pract. Exp. 46(10): 1317-1328 (2016) - [j5]Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi:
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Trans. Program. Lang. Syst. 38(2): 6:1-6:45 (2016) - 2014
- [j4]Yoonseok Ko, Kihong Heo, Hakjoo Oh:
A sparse evaluation technique for detailed semantic analyses. Comput. Lang. Syst. Struct. 40(3-4): 99-111 (2014) - [j3]Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang
Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. 36(3): 8:1-8:44 (2014) - 2013
- [j2]Hakjoo Oh, Kwangkeun Yi:
Access-based abstract memory localization in static analysis. Sci. Comput. Program. 78(9): 1701-1727 (2013) - 2010
- [j1]Hakjoo Oh, Kwangkeun Yi:
An algorithmic mitigation of large spurious interprocedural cycles in static analysis. Softw. Pract. Exp. 40(8): 585-603 (2010)
Conference and Workshop Papers
- 2023
- [c39]Myungho Lee, Sooyoung Cha, Hakjoo Oh:
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. ICSE 2023: 384-396 - [c38]Yoonseok Ko, Hakjoo Oh:
Learning to Boost Disjunctive Static Bug-Finders. ICSE 2023: 1097-1109 - [c37]Jongwook Kim, Sunbeom So
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. ICSE 2023: 2224-2236 - [c36]Jinkook Kim, Minseok Jeon, Sejeong Jang, Hakjoo Oh:
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics. ICST 2023: 317-326 - [c35]Sunbeom So
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. ESEC/SIGSOFT FSE 2023: 185-197 - [c34]Seunghoon Woo, Eunjin Choi, Heejo Lee, Hakjoo Oh:
V1SCAN: Discovering 1-day Vulnerabilities in Reused C/C++ Open-source Software Components Using Code Classification Techniques. USENIX Security Symposium 2023: 6541-6556 - 2022
- [c33]Junhee Lee, Seongjoon Hong, Hakjoo Oh:
NPEX: Repairing Java Null Pointer Exceptions without Tests. ICSE 2022: 1532-1544 - [c32]Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh:
SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters. ICSE 2022: 2068-2079 - [c31]Wonseok Oh, Hakjoo Oh:
PyTER: effective program repair for Python type errors. ESEC/SIGSOFT FSE 2022: 922-934 - 2021
- [c30]Seunghoon Woo
Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse. ICSE 2021: 860-872 - [c29]Dowon Song, Woosuk Lee, Hakjoo Oh:
Context-aware and data-driven feedback generation for programming assignments. ESEC/SIGSOFT FSE 2021: 328-340 - [c28]Sunbeom So, Seongjoon Hong, Hakjoo Oh:
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. USENIX Security Symposium 2021: 1361-1378 - 2020
- [c27]Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh:
SAVER: scalable, precise, and safe memory-error repair. ICSE 2020: 271-283 - [c26]Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh:
Effective white-box testing of deep neural networks with adaptive neuron-selection strategy. ISSTA 2020: 165-176 - [c25]DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. PLDI 2020: 503-518 - [c24]Sooyoung Cha, Hakjoo Oh:
Making symbolic execution promising by learning aggressive state-pruning strategy. ESEC/SIGSOFT FSE 2020: 147-158 - [c23]Sunbeom So
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. SP 2020: 1678-1694 - 2019
- [c22]Kihong Heo, Hakjoo Oh, Hongseok Yang:
Resource-aware program analysis via online abstraction coarsening. ICSE 2019: 94-104 - [c21]Sooyoung Cha, Hakjoo Oh:
Concolic testing with adaptively changing search heuristics. ESEC/SIGSOFT FSE 2019: 235-245 - 2018
- [c20]Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh:
Automatically generating search heuristics for concolic testing. ICSE 2018: 1244-1254 - [c19]Sunbeom So
Synthesizing Pattern Programs from Examples. IJCAI 2018: 1618-1624 - [c18]Sooyoung Cha, Seonho Lee, Hakjoo Oh:
Template-guided concolic testing via online learning. ASE 2018: 408-418 - [c17]Junhee Lee, Seongjoon Hong, Hakjoo Oh:
MemFix: static analysis-based repair of memory deallocation errors for C. ESEC/SIGSOFT FSE 2018: 95-106 - 2017
- [c16]Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Machine-learning-guided selectively unsound static analysis. ICSE 2017: 519-529 - [c15]Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo:
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. IJCAI 2017: 1546-1553 - [c14]Sunbeom So
Synthesizing Imperative Programs from Examples Guided by Static Analysis. SAS 2017: 364-381 - [c13]Seulbae Kim
VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery. IEEE Symposium on Security and Privacy 2017: 595-614 - 2016
- [c12]Sooyoung Cha, Sehun Jeong, Hakjoo Oh:
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. APLAS 2016: 25-41 - [c11]Mina Lee
Synthesizing regular expressions from examples for introductory automata assignments. GPCE 2016: 70-80 - [c10]Kihong Heo, Hakjoo Oh, Hongseok Yang:
Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. SAS 2016: 237-256 - [c9]Hongzhe Li, Jaesang Oh, Hakjoo Oh, Heejo Lee:
Automated Source Code Instrumentation for Verifying Potential Vulnerabilities. SEC 2016: 211-226 - 2015
- [c8]Hakjoo Oh, Hongseok Yang, Kwangkeun Yi:
Learning a strategy for adapting a program analysis via bayesian optimisation. OOPSLA 2015: 572-588 - 2014
- [c7]Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi:
Selective context-sensitivity guided by impact pre-analysis. PLDI 2014: 475-484 - [c6]Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
A Progress Bar for Static Analyzers. SAS 2014: 184-200 - 2012
- [c5]Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi:
Design and implementation of sparse global analyses for C-like languages. PLDI 2012: 229-238 - 2011
- [c4]Hakjoo Oh, Kwangkeun Yi:
Access-Based Localization with Bypassing. APLAS 2011: 50-65 - [c3]Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi:
Access Analysis-Based Tight Localization of Abstract Memories. VMCAI 2011: 356-370 - 2009
- [c2]Hakjoo Oh:
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. APLAS 2009: 14-29 - [c1]Yungbum Jung, Hakjoo Oh, Kwangkeun Yi:
Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM 2009: 13-18
Editorship
- 2021
- [e2]Hakjoo Oh:
Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. Lecture Notes in Computer Science 13008, Springer 2021, ISBN 978-3-030-89050-6 [contents] - 2020
- [e1]Hakjoo Oh, Yulei Sui:
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, TAPAS@SPLASH 2020, Virtual Event, USA, November 17, 2020. ACM 2020, ISBN 978-1-4503-8189-5 [contents]
Informal and Other Publications
- 2021
- [i6]Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh:
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse. CoRR abs/2102.06182 (2021) - 2019
- [i5]Sooyoung Cha, Seongjoon Hong, Jingyoung Kim, Junhee Lee, Hakjoo Oh:
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. CoRR abs/1907.09700 (2019) - [i4]Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh:
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts. CoRR abs/1908.11227 (2019) - 2017
- [i3]Sunbeom So, Hakjoo Oh:
Synthesizing Imperative Programs for Introductory Programming Assignments. CoRR abs/1702.06334 (2017) - [i2]Min-Je Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo:
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. CoRR abs/1703.02458 (2017) - 2016
- [i1]Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang:
Automatically generating features for learning program analysis heuristics. CoRR abs/1612.09394 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: