Kwangkeun(Kwang) Yi


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

Research Teaching Industrialization Opinions CV Contact Trips 학생모집 New

Vita and Research Interest

1995 - 2003 assistant/associate professor, Dept. of Computer Science, Korea Advanced Institute of Science and Technology
1993 - 1995 member of the research staff, Software Principles Research Dept., Bell Labs., Murray Hill
1993, Ph.D. Computer Science, Univ. of Illinois at Urbana-Champaign
1987, B.S. Computer Science & Statistics, Seoul National University

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

Program committee member:
ESOP 2011: The European Symposium on Programming 2011
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, 09(s)	SNU 4190.310 Programming Languages, 09(f)
SNU 4190.210 Principles of Programming, 09(f)	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

Books

Notes on Programming Languages (draft, in Korean) New

Industrialization

Sparrow : semantic-based static analyzer pointing to memory errors in C/C++ source.
White Paper (July 2007)
Photos, Sparrow 1.0 launch day (April 2007)