Hakjoo Oh - RankMe

79 papers A* 22A 3B 10Misc 1Journal 35Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	Static Analysis - 32nd International Symposium, SAS 2025, Singapore, October 13-14, 2025, Proceedings SAS Hakjoo Oh, Yulei Sui
2025	J	`jnl`	Corrigendum: PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns. Proc. ACM Program. Lang. Donguk Kim, Minseok Jeon, Doha Hwang, Hakjoo Oh
2025	J	`jnl`	Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection. Proc. ACM Program. Lang. Dowon Song, Hakjoo Oh
2025	J	`jnl`	PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns. Proc. ACM Program. Lang. Donguk Kim, Minseok Jeon, Doha Hwang, Hakjoo Oh
2024	A*	`conf`	Effective Unit Test Generation for Java Null Pointer Exceptions. ASE Myungho Lee, Jiseong Bak, Seokhyeon Moon, Yoonchan Jhi, Hakjoo Oh
2024	J	`jnl`	PL4XGL: A Programming Language Approach to Explainable Graph Learning. Proc. ACM Program. Lang. Minseok Jeon, Jihyeok Park, Hakjoo Oh
2024	J	`jnl`	Quantum Probabilistic Model Checking for Time-Bounded Properties. Proc. ACM Program. Lang. Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang
2024	J	`jnl`	Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification. Proc. ACM Program. Lang. Chan Gu Kang, Joonghoon Lee, Hakjoo Oh
2024	A*	`conf`	Towards Effective Static Type-Error Detection for Python. ASE Wonseok Oh, Hakjoo Oh
2023	A	`conf`	Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics. ICST Jinkook Kim, Minseok Jeon, Sejeong Jang, Hakjoo Oh
2023	A*	`conf`	Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. ICSE JongWook Kim, Sunbeom So, Hakjoo Oh
2023	A*	`conf`	Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. ICSE Myungho Lee, Sooyoung Cha, Hakjoo Oh
2023	A*	`conf`	Learning to Boost Disjunctive Static Bug-Finders. ICSE Yoonseok Ko, Hakjoo Oh
2023	J	`jnl`	Modular Component-Based Quantum Circuit Synthesis. Proc. ACM Program. Lang. Chan Gu Kang, Hakjoo Oh
2023	J	`jnl`	Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Trans. Program. Lang. Syst. DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2023	—	`conf`	SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. ESEC/SIGSOFT FSE Sunbeom So, Hakjoo Oh
2023	A*	`conf`	V1SCAN: Discovering 1-day Vulnerabilities in Reused C/C++ Open-source Software Components Using Code Classification Techniques. USENIX Security Symposium Seunghoon Woo, Eunjin Choi, Heejo Lee, Hakjoo Oh
2022	J	`jnl`	Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. IEEE Trans. Software Eng. Sooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, Hakjoo Oh
2022	A*	`conf`	NPEX: Repairing Java Null Pointer Exceptions without Tests. ICSE Junhee Lee, Seongjoon Hong, Hakjoo Oh
2022	—	`conf`	PyTER: effective program repair for Python type errors. ESEC/SIGSOFT FSE Wonseok Oh, Hakjoo Oh
2022	J	`jnl`	Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs. Proc. ACM Program. Lang. Minseok Jeon, Hakjoo Oh
2022	A*	`conf`	SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters. ICSE Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh
2021	J	`jnl`	A practical algorithm for learning disjunctive abstraction heuristics in static program analysis. Inf. Softw. Technol. Donghoon Jeon, Minseok Jeon, Hakjoo Oh
2021	J	`jnl`	CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse. CoRR Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh
2021	A*	`conf`	Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse. ICSE Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh
2021	—	`conf`	Context-aware and data-driven feedback generation for programming assignments. ESEC/SIGSOFT FSE Dowon Song, Woosuk Lee, Hakjoo Oh
2021	B	`ed.`	Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings APLAS Hakjoo Oh
2021	A*	`conf`	SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. USENIX Security Symposium Sunbeom So, Seongjoon Hong, Hakjoo Oh
2020	A	`conf`	Effective white-box testing of deep neural networks with adaptive neuron-selection strategy. ISSTA Seokhyun Lee, Sooyoung Cha, Dain Lee, Hakjoo Oh
2020	J	`jnl`	Learning graph-based heuristics for pointer analysis without handcrafting application-specific features. Proc. ACM Program. Lang. Minseok Jeon, Myungho Lee, Hakjoo Oh
2020	—	`conf`	Making symbolic execution promising by learning aggressive state-pruning strategy. ESEC/SIGSOFT FSE Sooyoung Cha, Hakjoo Oh
2020	A*	`conf`	Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. PLDI DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2020	—	`ed.`	Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, TAPAS@SPLASH 2020, Virtual Event, USA, November 17, 2020. TAPAS@SPLASH Hakjoo Oh, Yulei Sui
2020	A*	`conf`	SAVER: scalable, precise, and safe memory-error repair. ICSE Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh
2020	A*	`conf`	VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. SP Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh
2019	J	`jnl`	A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis. ACM Trans. Program. Lang. Syst. Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh
2019	J	`jnl`	Automatic and scalable detection of logical errors in functional programming assignments. Proc. ACM Program. Lang. Dowon Song, Myungho Lee, Hakjoo Oh
2019	—	`conf`	Concolic testing with adaptively changing search heuristics. ESEC/SIGSOFT FSE Sooyoung Cha, Hakjoo Oh
2019	J	`jnl`	Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. CoRR Sooyoung Cha, Seongjoon Hong, Jingyoung Kim, Junhee Lee, Hakjoo Oh
2019	A*	`conf`	Resource-aware program analysis via online abstraction coarsening. ICSE Kihong Heo, Hakjoo Oh, Hongseok Yang
2019	J	`jnl`	VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts. CoRR Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh
2018	J	`jnl`	A scalable learning algorithm for data-driven program analysis. Inf. Softw. Technol. Sooyoung Cha, Sehun Jeong, Hakjoo Oh
2018	J	`jnl`	Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Trans. Program. Lang. Syst. Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2018	J	`jnl`	Automatic diagnosis and correction of logical errors for functional programming assignments. Proc. ACM Program. Lang. Junho Lee, Dowon Song, Sunbeom So, Hakjoo Oh
2018	A*	`conf`	Automatically generating search heuristics for concolic testing. ICSE Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh
2018	J	`jnl`	Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. Formal Methods Syst. Des. Kihong Heo, Hakjoo Oh, Hongseok Yang
2018	—	`conf`	MemFix: static analysis-based repair of memory deallocation errors for C. ESEC/SIGSOFT FSE Junhee Lee, Seongjoon Hong, Hakjoo Oh
2018	J	`jnl`	Precise and scalable points-to analysis via data-driven context tunneling. Proc. ACM Program. Lang. Minseok Jeon, Sehun Jeong, Hakjoo Oh
2018	A*	`conf`	Synthesizing Pattern Programs from Examples. IJCAI Sunbeom So, Hakjoo Oh
2018	A*	`conf`	Template-guided concolic testing via online learning. ASE Sooyoung Cha, Seonho Lee, Hakjoo Oh
2017	J	`jnl`	Automatically generating features for learning program analysis heuristics for C-like languages. Proc. ACM Program. Lang. Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
2017	J	`jnl`	Data-driven context-sensitivity for points-to analysis. Proc. ACM Program. Lang. Sehun Jeong, Minseok Jeon, Sung Deok Cha, Hakjoo Oh
2017	A*	`conf`	End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. IJCAI Minje Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
2017	J	`jnl`	End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks. CoRR Minje Choi, Sehun Jeong, Hakjoo Oh, Jaegul Choo
2017	A*	`conf`	Machine-learning-guided selectively unsound static analysis. ICSE Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2017	J	`jnl`	Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Softw. Pract. Exp. Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2017	J	`jnl`	Sound Non-Statistical Clustering of Static Analysis Alarms. ACM Trans. Program. Lang. Syst. Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2017	J	`jnl`	Synthesizing Imperative Programs for Introductory Programming Assignments. CoRR Sunbeom So, Hakjoo Oh
2017	B	`conf`	Synthesizing Imperative Programs from Examples Guided by Static Analysis. SAS Sunbeom So, Hakjoo Oh
2017	A*	`conf`	VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery. IEEE Symposium on Security and Privacy Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh
2016	Misc	`conf`	Automated Source Code Instrumentation for Verifying Potential Vulnerabilities. SEC Hongzhe Li, Jaesang Oh, Hakjoo Oh, Heejo Lee
2016	J	`jnl`	Automatically generating features for learning program analysis heuristics. CoRR Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang
2016	B	`conf`	Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. APLAS Sooyoung Cha, Sehun Jeong, Hakjoo Oh
2016	B	`conf`	Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. SAS Kihong Heo, Hakjoo Oh, Hongseok Yang
2016	J	`jnl`	Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Trans. Program. Lang. Syst. Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2016	B	`conf`	Synthesizing regular expressions from examples for introductory automata assignments. GPCE Mina Lee, Sunbeom So, Hakjoo Oh
2016	J	`jnl`	Widening with thresholds via binary search. Softw. Pract. Exp. Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2015	A	`conf`	Learning a strategy for adapting a program analysis via bayesian optimisation. OOPSLA Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2014	B	`conf`	A Progress Bar for Static Analyzers. SAS Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2014	J	`jnl`	A sparse evaluation technique for detailed semantic analyses. Comput. Lang. Syst. Struct. Yoonseok Ko, Kihong Heo, Hakjoo Oh
2014	J	`jnl`	Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
2014	A*	`conf`	Selective context-sensitivity guided by impact pre-analysis. PLDI Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2013	J	`jnl`	Access-based abstract memory localization in static analysis. Sci. Comput. Program. Hakjoo Oh, Kwangkeun Yi
2012	A*	`conf`	Design and implementation of sparse global analyses for C-like languages. PLDI Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
2011	B	`conf`	Access Analysis-Based Tight Localization of Abstract Memories. VMCAI Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi
2011	B	`conf`	Access-Based Localization with Bypassing. APLAS Hakjoo Oh, Kwangkeun Yi
2010	J	`jnl`	An algorithmic mitigation of large spurious interprocedural cycles in static analysis. Softw. Pract. Exp. Hakjoo Oh, Kwangkeun Yi
2009	—	`conf`	Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM Yungbum Jung, Hakjoo Oh, Kwangkeun Yi
2009	B	`conf`	Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. APLAS Hakjoo Oh