-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
2 changed files
with
27 additions
and
45 deletions.
There are no files selected for viewing
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -6,10 +6,10 @@ portrait = 'portrait.png' | |
| role = 'Professor' | ||
|
|
||
| [[affiliation]] | ||
| name = 'Software Analysis Laboratory' | ||
| name = 'Software Analysis Lab' | ||
| url = '/' | ||
| [[affiliation]] | ||
| name = 'Dept. of Computer Science and Engineering' | ||
| name = 'Computer Science Department' | ||
| url = 'https://cs.korea.ac.kr' | ||
| [[affiliation]] | ||
| name = 'College of Informatics' | ||
|
|
@@ -22,62 +22,44 @@ url = 'https://korea.ac.kr' | |
| cv = 'cv.pdf' | ||
| +++ | ||
|
|
||
| ## 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 | ||
| ## Research Interest | ||
| - Software testing and fuzzing | ||
| - Static analysis and verification | ||
| - Program repair and synthesis | ||
| - Quantum programming | ||
|
|
||
| ## Educational Background | ||
| ## Education | ||
|
|
||
| - 2007 ~ 2012, Ph.D. [Computer Science and Engineering](https://cse.snu.ac.kr/), [Seoul National University](https://www.snu.ac.kr/) | ||
| - 2005 ~ 2007, M.S. [Computer Science and Engineering](https://cse.snu.ac.kr/), [Seoul National University](https://www.snu.ac.kr/) | ||
| - 2001 ~ 2005, B.S. [Dept. of Computer Science](https://cs.kaist.ac.kr/), [KAIST](https://www.kaist.ac.kr/) | ||
| - 1999 ~ 2001, [Seoul Science High School](http://en.sshs.hs.kr/) | ||
|
|
||
| ## Employed Positions | ||
| ## Positions | ||
|
|
||
| - 2018.09 ~ present, Associate Professor, [Dept. of Computer Science and Engineering](https://cs.korea.ac.kr/), [Korea University](https://korea.ac.kr/) | ||
| - 2015.03 ~ 2018.08, Assistant Professor, [Dept. of Computer Science and Engineering](https://cs.korea.ac.kr/), [Korea University](https://korea.ac.kr/) | ||
| - 2012.03 ~ 2015.02, Postdoctral Researcher, [Seoul National University](https://www.snu.ac.kr/) | ||
|
|
||
| ## Academic Activities | ||
| ### Program Committee (PC) members | ||
| ## Program Committee (PC) | ||
|
|
||
| - [ISSTA 2024](https://conf.researchr.org/home/issta-2024): ACM SIGSOFT International Symposium on Software Testing and Analysis | ||
| - [ICSE 2024](https://conf.researchr.org/track/icse-2024/icse-2024-research-track): The 46th International Conference on Software Engineering | ||
| - [ISSTA 2023](https://2023.issta.org/track/issta-2023-technical-papers): ACM SIGSOFT International Symposium on Software Testing and Analysis | ||
| - [OOPSLA 2022](https://2022.splashcon.org/track/splash-2022-oopsla?): ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications | ||
| - [ISSTA 2022](https://conf.researchr.org/home/issta-2022): ACM SIGSOFT International Symposium on Software Testing and Analysis | ||
| - [PLDI 2022](https://pldi22.sigplan.org/): ACM SIGPLAN Conference on Programming Language Design and Implementation | ||
| - [APLAS 2021](https://conf.researchr.org/home/aplas-2021): The Asian Symposium on Programming Languages and Systems (PC chair) | ||
| - [OOPSLA 2021](https://2021.splashcon.org/track/splash-2021-oopsla): ACM Conference on Object-Oriented Programming, Systems, Lan- guages, and Applications | ||
| - [OCaml 2021](https://icfp21.sigplan.org/home/ocaml-2021#program): The OCaml Users and Developers Workshop | ||
| - [WoSCA 2021](https://trailofbits.github.io/WoSCA/): International Workshop on Smart Contract Analysis | ||
| - [ECOOP 2021](https://2021.ecoop.org/home/ecoop-issta-2021): The 35th European Conference on Object-Oriented Programming | ||
| - [ICSE 2021](https://conf.researchr.org/home/icse-2021): The 43rd International Conference on Software Engineering | ||
| - [TAPAS 2020](https://2020.splashcon.org/home/tapas-2020): The 11th Workshop on Tools for Automatic Program Analysis (PC Co-Chair) | ||
| - [APLAS 2020](https://conf.researchr.org/home/aplas-2020): The Asian Symposium on Programming Languages and Systems | ||
| - [WoSCA 2020](https://conf.researchr.org/track/issta-2020/issta-2020-wosca): International Workshop on Smart Contract Analysis | ||
| - [OOPSLA 2020](https://2020.splashcon.org/track/splash-2020-oopsla): ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (External Review Committee) | ||
| - [LCTES 2020](https://conf.researchr.org/home/LCTES-2020): The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | ||
| - [ATVA 2020](http://fit.uet.vnu.edu.vn/atva2020/): 17th International Symposium on Automated Technology for Verification and Analysis | ||
| - [SEIP 2020](https://conf.researchr.org/track/icse-2020/icse-2020-Software-Engineering-in-Practice">ICS): The 42nd International Conference on Software Engineering (Software Engineering in Practice Track) | ||
| - [SAS 2019](http://staticanalysis.org/sas2019): 25th Static Analysis Symposium (Artifact Evaluation Chair) | ||
| - [CAV 2019](http://i-cav.org/2019/): 31st International Conference on Computer-Aided Verification | ||
| - [ATVA 2019](http://atva2019.iis.sinica.edu.tw): 17th International Symposium on Automated Technology for Verification and Analysis | ||
| - [APLAS 2018](http://aplas2018.org): 16th Asian Symposium on Programming Languages and Systems | ||
| - [SAS 2018](http://staticanalysis.org/sas2018/sas2018.html): 25th Static Analysis Symposium | ||
| - [OOPSLA 2018](https://conf.researchr.org/track/splash-2018/splash-2018-OOPSLA): ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications | ||
| - [APLAS 2017](https://www-aplas.github.io/): 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](https://aplas2013.soic.indiana.edu): 11th Asian Symposium on Programming Languages and Systems | ||
| - 2025: [ICSE](https://conf.researchr.org/home/icse-2025) | ||
| - 2024: [PLDI](https://pldi24.sigplan.org), [ISSTA](https://conf.researchr.org/home/issta-2024), [ICSE](https://conf.researchr.org/track/icse-2024/icse-2024-research-track) | ||
| - 2023: [ISSTA](https://2023.issta.org/track/issta-2023-technical-papers), [CC](https://conf.researchr.org/home/CC-2023) | ||
| - 2022: [OOPSLA](https://2022.splashcon.org/track/splash-2022-oopsla?), [ISSTA](https://conf.researchr.org/home/issta-2022), [PLDI](https://pldi22.sigplan.org/) | ||
| - 2021: [APLAS 2021](https://conf.researchr.org/home/aplas-2021) (PC chair), [OOPSLA](https://2021.splashcon.org/track/splash-2021-oopsla), [ECOOP](https://2021.ecoop.org/home/ecoop-issta-2021), [ICSE](https://conf.researchr.org/home/icse-2021) | ||
| - 2020: [TAPAS](https://2020.splashcon.org/home/tapas-2020) (PC Co-Chair), [APLAS](https://conf.researchr.org/home/aplas-2020), [OOPSLA](https://2020.splashcon.org/track/splash-2020-oopsla), [LCTES](https://conf.researchr.org/home/LCTES-2020), [ATVA](http://fit.uet.vnu.edu.vn/atva2020/) | ||
| - 2019: [SAS](http://staticanalysis.org/sas2019) (Artifact Evaluation Chair), [CAV](http://i-cav.org/2019/), [ATVA](http://atva2019.iis.sinica.edu.tw) | ||
| - 2018: [APLAS](http://aplas2018.org), [SAS](http://staticanalysis.org/sas2018/sas2018.html), [OOPSLA](https://conf.researchr.org/track/splash-2018/splash-2018-OOPSLA) | ||
| - 2017: [APLAS](https://www-aplas.github.io/) | ||
| - 2015: APLAS | ||
| - 2013: APLAS | ||
|
|
||
| ### Invitied Participant | ||
| - [Shonan Meeting on Memory Abstraction](https://shonan.nii.ac.jp/archives/seminar/108/), Sep 2017 | ||
| - [Dagstuhl Seminar 13162 on Pointer Analysis](https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/13162), Apr 2013 | ||
| ## Awards | ||
| - ACM SIGSOFT Distinguished Paper Award. ICSE 2022 | ||
| - ACM SIGSOFT Distinguished Paper Award. ISSTA 2020 | ||
| - ACM SIGSOFT Distinguished Paper Award. ICSE 2019 | ||
| - Best Paper Award. GPCE 2016 | ||
|
|
||
| ## Contact Information | ||
|
|
||
|
|
@@ -87,4 +69,4 @@ Korea University | |
| Anam-dong 5-ga, Seongbuk-gu | ||
| Seoul 136-713, Korea | ||
| (office) +82.2.3290.4601 | ||
| (email) [email protected] | ||
| (email) [email protected] | ||