Hakjoo Oh (오학주)
 |
Associate Professor Software Analysis Laboratory, Dept. of Computer Science and Engineering, College of Informatics, Korea University [CV] |
News
- I am always looking for motivated graduate/undergraduate students and postdocs to work with (Introduction to our research)
Research Areas
Programming languages with applications to software engineering, security, and artificial intelligence:- Program analysis for automatically detecting software bugs and vulnerabilities
- Program repair for automatically fixing buggy or vulnerable software
- Program synthesis for automatically writing programs on behalf of humans
Educational Background
- 2007 ~ 2012, Ph.D. Computer Science and Engineering, Seoul National University
- 2005 ~ 2007, M.S. Computer Science and Engineering, Seoul National University
- 2001 ~ 2005, B.S. Dept. of Computer Science, KAIST
- 1999 ~ 2001, Seoul Science High School
Employed Positions
- 2018.09 ~ present, Associate Professor, Dept. of Computer Science and Engineering, Korea University
- 2015.03 ~ 2018.08, Assistant Professor, Dept. of Computer Science and Engineering, Korea University
- 2012.03 ~ 2015.02, Postdoctral Researcher, Seoul National University
Academic Activities
Program Committee (PC) members
- ICSE 2024: The 46th International Conference on Software Engineering
- ISSTA 2023: ACM SIGSOFT International Symposium on Software Testing and Analysis
- OOPSLA 2022: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
- ISSTA 2022: ACM SIGSOFT International Symposium on Software Testing and Analysis
- PLDI 2022: ACM SIGPLAN Conference on Programming Language Design and Implementation
- APLAS 2021: The Asian Symposium on Programming Languages and Systems (PC chair)
- OOPSLA 2021: ACM Conference on Object-Oriented Programming, Systems, Lan- guages, and Applications
- OCaml 2021: The OCaml Users and Developers Workshop
- WoSCA 2021: International Workshop on Smart Contract Analysis
- ECOOP 2021: The 35th European Conference on Object-Oriented Programming
- ICSE 2021: The 43rd International Conference on Software Engineering
- TAPAS 2020: The 11th Workshop on Tools for Automatic Program Analysis (PC Co-Chair)
- APLAS 2020: The Asian Symposium on Programming Languages and Systems
- WoSCA 2020: International Workshop on Smart Contract Analysis
- OOPSLA 2020: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (External Review Committee)
- LCTES 2020: The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
- ATVA 2020: 17th International Symposium on Automated Technology for Verification and Analysis
- ICSE SEIP 2020: The 42nd International Conference on Software Engineering (Software Engineering in Practice Track)
- SAS 2019: 25th Static Analysis Symposium (Artifact Evaluation Chair)
- CAV 2019: 31st International Conference on Computer-Aided Verification
- ATVA 2019: 17th International Symposium on Automated Technology for Verification and Analysis
- APLAS 2018: 16th Asian Symposium on Programming Languages and Systems
- SAS 2018: 25th Static Analysis Symposium
- OOPSLA 2018: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
- APLAS 2017: 13th Asian Symposium on Programming Languages and Systems
- APLAS 2015: 13th Asian Symposium on Programming Languages and Systems
- SAC 2015: 30th ACM Symposium on Applied Computing (Programming Languages Track)
- SAC 2014: 29th ACM Symposium on Applied Computing (Programming Languages Track)
- APLAS 2013: 11th Asian Symposium on Programming Languages and Systems
Invited Participant
- Shonan Meeting on Memory Abstraction, Sep 2017
- Dagstuhl Seminar 13162 on Pointer Analysis, Apr 2013
Contact Information
Room 616c, Science Library BldgCollege of Informatics
Korea University
Anam-dong 5-ga, Seongbuk-gu
Seoul 136-713, Korea
(office) +82.2.3290.4601
(email) hakjoo_oh@korea.ac.kr