Registered user since Sun 7 May 2017
Name:Hakjoo Oh
Country:South Korea
Affiliation:Korea University
Personal website: http://prl.korea.ac.kr
Research interests:Program Analysis
Contributions
2025
Static Analysis Symposium
SPLASH
- PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns
- Lemma Discovery for Inductive Equational Proofs via Recursive Function Synthesis
- Committee Member in OOPSLA Review Committee within the OOPSLA-track
- Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection
Using general profile