Kwangkeun(Kwang) Yi


	Professor Dept. of Computer Science and Engineering, Seoul National University
	Director / Director ROSAEC Center / ROPAS, Programming Research Laboratory

Research Teaching Books New

Industrialization Opinions CV Contact Trips/Talks New

학생모집 Design

Research Interest and Vita

Research Interests: static program analysis; static analysis for safe softwares; programming systems application of static analysis technology; HOT (higher-order & typed) programming system; probabilistic-X

Assistant/Associate Professor, Dept. of Computer Science, KAIST
Member of Technical Staff, Software Principles Research Dept., Bell Labs., Murray Hill
Ph.D. Computer Science, Univ. of Illinois at Urbana-Champaign
B.S. Computer Science & Statistics, Seoul National University
Visiting Professor: Stanford Univ. (2017), Facebook London (2016), École Normale Supérieure, Paris (2016), MIT (2012), MIT (2008), Carnegie Mellon Univ. (2008), École Normale Supérieure, Paris (2002), Bell Labs(1998)

Research Program


Papers (POPL , PLDI , SAS , ICSE , CAV ... )	ROSAEC Center / ROPAS Center

Inferbo

/ ZooBerry / Sparrow / ScanDal / Airac / nML Compiler

Current graduate students:

Sungkeun Cho	Jinyung Kim	Dongkwon Lee
Sangwoo Joh	Joonmo Yang	Duekeun Kim	Joan Bae

Former graduate students

Program committee member:
APLAS 2017: The 15th Asian Symposium on Programming Languages and Systems New

:
PLDI 2017 ACM Conference on Programming Language Design and Implementation
SAS 2016 The 23rd International Static Analysis Symposium 2016
PLOOC 2013: 1st Workshop on Programming Languages Technology for Massive Open Online Courses
POPL 2013: ACM Symposium on Principles of Programming Languages
VSTTE 2013: Verified Software: Theories, Tools and Experiments
FOSSACS 2013: International Conference on Foundations of Software Science and Computation Structures
SAS 2012: The 19th International Static Analysis Symposium
PADL 2012: The 14th International Symposium on Practical Aspects of Declarative Languages
PEPM 2012: ACM Workshop on Partial Evaluation and Program Manipulation
POPL 2012(external review cmtt): ACM Symposium on Principles of Programming Languages
CPP 2011: First International Conference on Certified Programs and Proofs
ESOP 2011: The European Symposium on Programming 2011
SSV 2011, 2010: International Workshop on Systems Software Verification
GPCE 2010: Ninth International Conference on Generative Programming and Component Engineering
OOPSLA 2010: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
CAV 2010: The 22nd International Confernce on Computer Aided Verification
VMCAI 2010: The 11th International Conference on Verification, Model Checking, and Abstract Interpretation 2010
APLAS 2009(general chair): The 7th Asian Symposium on Programming Languages and Systems 2009
SAS 2009: The 16th International Static Analysis Symposium 2009
ESOP 2009: The European Symposium on Programming 2009
30YAI: 30 Years of Abstract Interpretation, 2008
FICS 2008: The 1st International Conference on Foundations of Informatics, Computing, and Software
APLAS 2007: The 5th Asian Symposium on Programming Languages and Systems
SAS 2007: The 14th International Static Analysis Symposium 2007
AWCVS 2006: 1st Asian Working Conference on Verified Software
SAS 2006(program chair): The 13th International Static Analysis Symposium 2006
CC 2006: The 15th International Conference on Compiler Construction
ML2005: The 2005 ACM Workshop on ML
APLAS 2005(program chair): The 3rd Asian Symposium on Programming Languages and Systems. ('04, '03, '01)
ESOP 2004: The European Symposium on Programming 2004
FLOPS 2002: The 6th International Symposium on Functional and Logic Programming 2002
SAS 2001: The 8th International Static Analysis Symposium 2001
ICFP 2001: ACM International Conference on Functional Programming 2001

Courses

SNU 4541.664A Program Analysis, 17(s)	SNU 046.016 Computational Civilization, 17(s)
SNU 4190.310 Programming Languages, 15(f)	SNU 4190.210 Principles of Programming, 13(f)
EWSCS 2012 Collage of Static Analysis (1, 2, 3, 4)	SNU 4541.574 Programming Language Theory, 07(f)
SNU 4541.780 Topics in PL: Staged Programming, 06(f)	SNU 400.02 Eng. Math. II: Logic in Computing, 05(f)
SNU 010.142 Basics in Computing, 06(s)	KAIST CS420 Compiler Design, 99