diff --git a/content/members/minseok-jeon/index.md b/content/members/minseok-jeon/index.md index 7e1c17d..1c62fd0 100644 --- a/content/members/minseok-jeon/index.md +++ b/content/members/minseok-jeon/index.md @@ -22,3 +22,55 @@ url = 'https://korea.ac.kr' cv = 'https://minseokjgit.github.io/new_cv/cv.pdf' website = 'https://minseokjgit.github.io/' +++ + +{{< callout markdown=true >}} +**I mainly maintain [my persional website](https://minseokjgit.github.io). This site may miss some information.** +{{< /callout >}} + +# About Me +I am a postdoctoral researcher at [Korea University](https://korea.ac.kr). I received my Ph.D. from [Software Analysis Laboratory](https://prl.korea.ac.kr) at [Korea University](https://korea.ac.kr) under the supervision of [Prof. Hakjoo Oh]({{< ref "/members/hakjoo-oh" >}}). I enjoy developing domain-specific languages (DSLs) (along with DSL program synthesis algorithms) to address various challenges in programming languages and software engineering. I have developed DSLs for developing effective pointer analysis and software testing. + + +# Research Interests +I am interested in designing domain-specific programming languages (DSLs) and developing program synthesis algorithms to address problems in programming languages and software engineering. More specifically, my research aims to design domain-specific programming languages (DSLs) that can describe solutions for given programming problems in languages or software engineering, and develop program synthesis algorithms to automatically find these solutions in the DSLs. + +- **Designing domain-specific languages (DSLs)** tailored to tackle challenges in programming languages and software engineering. +- **Developing program synthesis algorithms** for automatically generating programs (solutions) in DSLs. + +In particular, my focus is on designing DSLs and synthesis algorithms for effective pointer analysis, a key component in compiler optimization. Additionally, I am interested in developing DSLs tailored to identify effective test cases in system software testing. + +# Educational Background +- 2017.03 ~ 2023.02, Integrated M.S. & Ph.D. in Computer Science and Engineering. Korea University + - Advisor: [Hakjoo Oh]({{< ref "/members/hakjoo-oh" >}}) +- 2011.03 ~ 2017.02, B.S. Dept. of Computer Science, Korea University + +# Employed Positions +2023.02 ~ Present - Postdoctoral Researcher, [Software Analysis Laboratory]{{< ref "/" >}}, [Korea University](https://korea.ac.kr) + +# Publications +{{< publication-list data="publications" author="Minseok Jeon" >}} + + +# Academic Activities + +## Program Committee (PC) members +- [OOPSLA 2024](https://2024.splashcon.org/track/splash-2024-oopsla): ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications + + +# Talks +- Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs. Paper presentation at POPL 2022. STAAR Workshop. Jeju. Feb 11 2022 [[slides](https://minseokjgit.github.io/papers/CFA_slides.pdf)] +- Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs. Paper presentation at POPL 2022. Philadelphia, USA. Jan 19 2022 [[slides](https://minseokjgit.github.io/papers/POPL22_slides.pdf)] +- Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features. Paper presentation at OOPLSA 2020, Online Nov. 20 2020. [[slides](https://minseokjgit.github.io/papers/oopsla2020_slide.pdf)] +- Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling. Paper presentation at OOPSLA2018. BOSTON, USA. NOV 8 2018 [[slides](https://minseokjgit.github.io/papers/oopsla18_slides.pdf)] +- Data-Driven Context-Sensitivity for Points-to Analysis. KCSE2018. Jan 2018 [[slides](https://minseokjgit.github.io/papers/KCSESlide.pdf)] + + +# Project +- Bachelor Degree Project : Enough to check Collatz Conjecture for 16k+11 [[pdf](https://minseokjgit.github.io/papers/ccPaper.pdf)] + +# Trip +- ICSE 2023, Melbourne, Australia. 2023/May/13 - 2023/May/23. +- POPL 2022, Philadelphia, USA. 2022/Jan/17 - 2022/Jan/23. +- OOPSLA 2019, Athens, Greece. 2019/Oct/20 - 2019/Oct/26. +- OOPSLA 2018, Boston, USA. 2018/Nov/4 - 2018/Nov/11. [[photos](https://photos.google.com/share/AF1QipP7fy5Ns5z4Sy1TYTuPEp77spDsrG6wZPjp2LxGqDA2WKlmwOmFHuG4uRxETTGpFw?key=WGhVOWtPRkpLS0xpWEpKVEthNWczZXpxV0ZvNUlR)] +- OOPSLA 2017, Vancouver, Canada. 2017/Oct/23 - 2017/Oct/27. [[photos](https://photos.google.com/share/AF1QipMzIt3Jd4yTlwBg-at0ocKlGelQ08QT3M13hP6b79Xo4IE8xGLBvwxzMlmL8gYXYw?key=Z0tQOFV3RDFsRXNfc1ExQ2haWDRJTFlBZkZHQkFR)]