Kwangkeun(Kwang) Yi

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

Research     Teaching     Books New      Industrialization     Opinions New      Trips/Talks New      ½¬¿î Àü¹®¿ë¾î New    Çлý¸ðÁý    Ã¥µé New      CV/À̷¼­      Contact     

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

Books


     
       (ÀúÀÚ¸í: ¾ËÆĺª¼ø)
               

  
      

Research Program

Papers (POPL New, PLDI New, SAS New, ICSE New, CAV New ... ) ROSAEC Center / ROPAS Center
Inferbo   /  ZooBerry   /  Sparrow   /  ScanDal   /  Airac   /  nML Compiler nML Compiler
  • Current graduate students:
    Dohyung Kim Doyoon Lee Jaeho Lee
    Hun Kim(intern) Joongwon Ahn(intern) Gyuhyeok Oh(intern)
    Junehyup Yi(intern)
  • Former graduate students & interns
  • Program committee member:
    PLDI 2024, PLDI 2021: ACM Conference on Programming Language Design and Implementation New
    SAS 2020:The 27th International Static Analysis Symposium 2020 New
    SAS 2019:The 26th International Static Analysis Symposium 2019
    APLAS 2017: The 15th Asian Symposium on Programming Languages and Systems
    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 4190.310 Programming Languages, 24(s) SNU 4541.664A Program Analysis, 23(f) New
    SNU 046.016 Computational Civilization, 21(f) SSFT 2019 Introduction to Static Analysis
    SNU 4190.210 Principles of Programming, 13(f) SNU L444.200 Computational Thinking and Practice, 17(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 EWSCS 2012 Collage of Static Analysis (1, 2, 3, 4)

    Industrialization


    Etc

    (most links are in Korean, sorry!)
  • New ÄÄÇ»Åͺоߴ ¼º¼÷ÇÑ ±â¼úÀÌ ¾Æ´Õ´Ï´Ù (¼­¿ï´ë ÄÄÇ»ÅÍ°øÇкΠÇкÎÀå Àλ縻/ºñÀü, 03/2023)
  • New ¼­´ç°³ 6õ³â vs Àηù 4¹é¸¸1¹é³â (¼­¿ï´ë ±âÃʱ³À°¿ø Ưº°±âȹ, 02/28/2023)
  • New ½¬¿î Àü¹®¿ë¾î Á¦¾È/¼öÁý Ç÷§Æû (¹è°æ/¿øÄ¢)
  • ¹Ý¾î¹ýÀ¸·Î ¾´, ½¬¿î Àü¹®¿ë¾î¸¦ À§ÇÑ Á¦¾È¼­( [µ¿¾Æ»çÀ̾ð½º], 12/09/2021)
  • ÄÄÇ»Æà Çٽɿª·® ±âÃÊ ±³¾ç±³À° °úÁ¤ÀÇ ¼³°è, (¼­¿ï´ë ±âÃʱ³À°¿ø, 9/2019)
  • dz°æ(JPG, PDF) (¼­¿ï´ë ´ëÇнŹ® [°ü¾Ç½ÃÆò], 9/23/2019)
  • ¿µ¾î°­ÀÇ, ¼º±Õ°ü, Æз¯µ¥ÀÌ(JPG, PDF) (¼­¿ï´ë ´ëÇнŹ® [°ü¾Ç½ÃÆò], 3/21/2011)
  • +ÄÄÇ»ÅÍÀÇ ¿øõ¼³°èµµ°¡ ³ª¿Â °úÁ¤. +¿ì¸®µµ ±×·± ¿øõÁö½ÄÀ» ¾î¶»°Ô ¸¸µé ¼ö ÀÖÀ»±î ±Ã±ÝÇÏ´Ù¸é. +³î¶ø°í Áñ°Å¿î ¼¼»óÀÇ ¼Ó»ì ÇÑ ÄÒ.
  • ÄÄÇ»ÅÍ¿Í ¼ÒÇÁÆ®¿þ¾î°¡ ±Ã±ÝÇÏ´Ù¸é(PDF) (¼­¿ï´ëÀú³Î [Ã¥¼Ò°³], 11/03/2015 )
  • ¿ì¸®¸» ³í¹®¾²±âÀÇ ¿øÄ¢
  • ÇÁ·Î±×·¥ºÐ¼®.SW¿À·ù°ËÁõ.»ê°ú°ñ.¹Ì°³ÇÑ. (ÄÄÇ»ÅÍ°øÇкΠ±³¼ö Á¡½É¸ðÀÓ, 8/29/2011)
  • Æ©¸µ±â°è(Turing Machine)ÀÇ °í¾È (°úÇÐâÀÇÀç´Ü: "20¼¼±â 10´ë °úÇÐ »ç°Ç" ¿ø°í)
  • CS½½·Î°Ç + ¹Ì°³ÇÑ ÇÁ·Î±×·¡¹Ö ±â¼ú (CS4HS 2010:Á¦1ȸ °í±³ ÄÄÇ»ÅÍ ´ã´ç±³¿ø ¿öÅ©¼¥)
  • ´ç½Å°ú ´ç½ÅÀÇ ¿¬±¸ (PDF) (¿ä¾àÁ¤¸®) (À¯»ç¹öÀü)
  • ´ëÇпø »ýÈ° °¡À̵å
  • ÇÁ·Î±×·¡¹Ö ±³À°¿¡¼­ ½Ç½À¾ð¾îÀÇ ¼±ÅÃ
  • ¾çÀÚ ÇÁ·Î±×·¡¹Ö(PDF,PPT)/ ¸ÞŸ ÇÁ·Î±×·¡¹Ö(meta programming, multi-staged programming): other slides
  • °ªÁß½ÉÀÇ ÇÁ·Î±×·¡¹Ö/ nML ÇÁ·Î±×·¡¹Ö ½Ã½ºÅÛÀÇ ¾²ÀÓ»õ
  • Áö±ÝÀÇ Á¤º¸±â¼úÀ» º¸´Â ´«³ôÀÌ I /II
  • °è»êÀ̶õ ¹«¾ùÀΰ¡¿¡ ´ëÇÑ ¾ÆÀ̵ð¾îµé
  • Á¦´ë·Î µðÀÚÀÎµÈ ÇÁ·Î±×·¡¹Ö ¾ð¾îÀÇ ¾²ÀÓ»õ /Á¤½ÄÀ¸·Î ÇÁ·Î±×·¥ÇÏ´Â Àç¹Ì /»½¼Å³Î?
  • Design: I also enjoy being a woodworker, a stone-seal carver, and a weekend runner(10k). Here are some of my hardwood furnitures and stone seals.
    /°øºÎ dzÅä /¹æ¹ý ¼­¼³ /¼­¿ï°ú ½Ã°ñ /Á¶±×¸¸ ´ë¼¼ /GNU ¼¼»ó /¹æ¹øÈ£ /ÇаúÀ̸§ /´Ü°ßÆí°ß /¿¬±¸È¯°æ New /¾È¸ñ /»ç¶÷½É¸® /ºÎ·ù /´ç½ÅÀÇ¿¬±¸ /º´Åë /°øºÎÀÇ ¾ð¾î /°ü¾Ç½ÃÆò: ¿µ¾î°­ÀÇ /°ü¾Ç½ÃÆò: dz°æ /Ã¥µé New /SW±³À° /½¬¿î Àü¹®¿ë¾î ¹è°æ+¿øÄ¢ New /½¬¿î Àü¹®¿ë¾î Á¦¾È¼­ New /½¬¿î Àü¹®¿ë¾î Ç÷§Æû New /âÀÇÀû»ç°í:89°¡Áö New

    Contact Information

    Prof. Kwangkeun Yi
    Room 428, Bldg 302
    Department of Computer Science and Engineering
    Seoul National University
    1 Gwanak-ro Gwanak-gu
    Seoul 08826, KOREA
    (office) +82.2.880.1857
    (email) kwang@ropas[.snu.ac.kr] or Reveal


    358108 off-campus visits since August 21, 2000.