Kwangkeun(Kwang) Yi

The ROSAEC Center The ROPAS Center   
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

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


Research Program

Papers ROSAEC Center / ROPAS Center / Seminars
Sparrow /  Airac /  nML Compiler nML Compiler MSR Talks /  GoogleTechTalks /  BibSearch  /  Conferences I
  • Current graduate students:
    Yungbum Jung Hakjoo Oh Soonho Kong Sungkeun Cho Woosuk Lee Kihong Heo
    Yoonseok Ko Gaeul Jeong Heejae Shin Wontae Choi Suwon Jang Heejung Kim
  • Former graduate students
  • 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


    Etc

    (most links are in Korean, sorry!)
  • ´ç½Å°ú ´ç½ÅÀÇ ¿¬±¸ New (PDF) (À¯»ç¹öÀü)
  • ´ëÇпø »ýȰ °¡À̵å
  • ¿ì¸®¸» ³í¹®¾²±âÀÇ ¿øÄ¢
  • ÇÁ·Î±×·¡¹Ö ±³À°¿¡¼­ ½Ç½À¾ð¾îÀÇ ¼±ÅÃ
  • ¾çÀÚ ÇÁ·Î±×·¡¹Ö/ ¸ÞŸ ÇÁ·Î±×·¡¹Ö(meta programming, multi-staged programming): other slides
  • °ªÁß½ÉÀÇ ÇÁ·Î±×·¡¹Ö/ nML ÇÁ·Î±×·¡¹Ö ½Ã½ºÅÛÀÇ ¾²ÀÓ»õ
  • Áö±ÝÀÇ Á¤º¸±â¼úÀ» º¸´Â ´«³ôÀÌ I /II
  • °è»êÀ̶õ ¹«¾ùÀΰ¡¿¡ ´ëÇÑ ¾ÆÀ̵ð¾îµé
  • Á¦´ë·Î µðÀÚÀÎµÈ ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ¾²ÀÓ»õ /Á¤½ÄÀ¸·Î ÇÁ·Î±×·¥ÇÏ´Â Àç¹Ì /»½¼Å³Î?

  • /°øºÎ dzÅä /¹æ¹ý ¼­¼³ /¼­¿ï°ú ½Ã°ñ /Á¶±×¸¸ ´ë¼¼ /GNU ¼¼»ó /¹æ¹øÈ£ /ÇаúÀ̸§ /´Ü°ßÆí°ß /¿¬±¸È¯°æ New /¾È¸ñ /»ç¶÷½É¸® /ºÎ·ù New /´ç½ÅÀÇ¿¬±¸ New /º´Åë New

    Contact Information

    Prof. Kwangkeun Yi
    Room 428, Bldg 302
    School of Computer Science and Engineering
    Seoul National University
    599 Gwanak-ro Gwanak-gu
    Seoul 151-744, KOREA
    (office) +82.2.880.1857
    (mobile) +82.11.895.9374
    (fax) +82.2.871.4912
    (email) kwang@ropas[.snu.ac.kr] or Reveal


    99756 off-campus visits since August 21, 2000.