Ph.D. Candidate, PLRG Lab.
Computer Science Department
Korea Advanced Institute of Science and Technology
Scalable static analysis based on Abstract Interpretation.
2018 - Current, Post-doc at INRIA Sophia-Antipolis
2013 - 2018, Ph.D. School of Computing, KAIST(Advisor: Sukyoung Ryu)
2011 - 2013, Senior Researcher, Static Analysis Part, S-Core Co., Ltd.
1/2016 - 6/2016: Internship, ANTIQUE(ANalyste staTIQUE), ENS Paris, France (host: Prof. Xavier Rival)
Yoonseok Ko, Xavier Rival, and Sukyoung Ryu,
In Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), November 2017. Micro-benchmarks
Yoonseok Ko, Hongki Lee, Julian Dolby, and Sukyoung Ryu,
In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering(ASE 2015).
Acceptance rate (full papers): 19% (slide)
Yoonseok Ko, Kihong Heo, and Hakjoo Oh,
A Sparse Evaluation Technique for Detailed Semantic Analyses.
COMLAN: Computer Languages, Systems, and Structures, Vol. 40, Issues 3-4. 2014
Yoonseok Ko, and Sukyoung Ryu,
Distinguished Paper from Korea Computer Congress, 2015.
Yoonseok Ko, Hakjoo Oh, Kihong Heo, and Kwangkeun Yi,
A General Framework for Sparse Analysis.
Distinguished Paper from Korea Computer Congress, 2011.
CS320, Spring Semester, 2017