Kwangkeun(Kwang) Yi
Professor
Dept. of Computer Science and Engineering
,
Seoul National University
Director / Director
ROSAEC Center
/
ROPAS, Programming Research Laboratory
Research
Teaching
Books
Industrialization
Opinions
Trips/Talks
쉬운 전문용어
학생모집
책들
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
present, Professor,
Dept. of Computer Science & Engineering
,
Seoul National University
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)
Books
Introduction to Static Analysis: an Abstract Interpretation Perspective
, MIT Press, February 2020,
[PDF샘플]
(저자명: 알파벳순)
컴퓨터과학이 여는 세계
,
인사이트, 2015,
[PDF샘플]
조선일보: 이두갑의 세상을 상상하는 과학
/
국민일보: 책과 길
/
전자신문: 북스 클로즈업
/
사이언스타임즈:과학서평
서울대저널: 책소개
/
북토크: SIGPL 여름학교
/
기계 학습을 다시 묻다
,
인사이트, 2021.
[부제] 튜링상 수상 석학이 40년 연구로 제시하는 기계 학습에 대한 근본적 관점
[원서]
Probably Approximately Correct
,
Leslie Valiant
, Basic Books, 2013.
샘플: [번역을 펴내며]
번역용례: [찾아보기]
프로그래밍언어 이야기
(초안)
Research Program
Papers
(
POPL
, PLDI
, SAS
, ICSE
, CAV
...
)
ROSAEC Center
/
ROPAS Center
Inferbo
/
ZooBerry
/
Sparrow
/
ScanDal
/
Airac
/
nML Compiler
Current graduate students
:
Doyoon Lee
Jaeho Lee
Gyuhyeok Oh
Hyeongseo Yoo
Joongwon Ahn
(intern)
Minjung Kwon
(intern)
Junyoung Park
(intern)
Former graduate students & interns
Program committee member
:
PLDI 2024
,
PLDI 2021
: ACM Conference on Programming Language Design and Implementation
SAS 2020
:The 27th International Static Analysis Symposium 2020
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, 25(s)
SNU 4541.664A
Program Analysis, 25(s)
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
Co. Ltd
(2018): the full-fledged company initially based on our
Sparrow technology
.
Sparrow
: semantic-based static analyzer pointing to memory errors in C source.
White Paper
(July 2007)
Photos,
Sparrow 1.0 launch day (April 2007)
Etc
(most links are in Korean, sorry!)
PL분야의 글로벌 실력과 쉬운전문용어
,
PDF
(한국정보과학회 역사워크샵/SIGPL, 12/18/2024)
서당개 6천년 vs 인류 4백만1백년
(서울대 기초교육원 특별기획, 02/28/2023)
쉬운 전문용어 제안/수집 플랫폼
(배경/원칙)
반어법으로 쓴, 쉬운 전문용어를 위한 제안서
(
[동아사이언스], 12/09/2021
)
컴퓨팅 핵심역량 기초 교양교육 과정의 설계, (
서울대 기초교육원, 9/2019
)
풍경(JPG
,
PDF
) (
서울대 대학신문 [관악시평]
, 9/23/2019
)
영어강의, 성균관, 패러데이(JPG
,
PDF
) (
서울대 대학신문 [관악시평]
, 3/21/2011
)
+컴퓨터의 원천설계도가 나온 과정. +우리도 그런 원천지식을 어떻게 만들 수 있을까 궁금하다면. +놀랍고 즐거운 세상의 속살 한 켠.
컴퓨터의 원천 아이디어가 나오기까지
,
NaverTV
,
PDF
(
05/23/2018,
카오스재단
강연
)
튜링의 1935년: 컴퓨터 원조논문이 나오기까지의 1년여 과정에 대한 추측
,
PDF
(
12/07/2017, 서울대 교육상 수상 특별강연
)
튜링의 1935년: 튜링은 과연 천재인가
(
Skeptic Korea, 8호 (2016년 겨울호)
)
Turing's 1935: my guess about his intellectual journey to "On Computable Numbers"
, (
Plenary Talk, 07/11/2017,
the 15th Asian Logic Conference
)
컴퓨터와 소프트웨어가 궁금하다면
(
PDF
) (
서울대저널 [책소개], 11/03/2015
)
우리말 논문쓰기의 원칙
공부의 언어
(
제4회 ROSAEC 센터 워크샵, 8/27/2010
)
쉬운 전문용어 목록/플랫폼
프로그램분석.SW오류검증.산과골.미개한.
(
컴퓨터공학부 교수 점심모임, 8/29/2011
)
튜링기계(Turing Machine)의 고안
(
과학창의재단: "20세기 10대 과학 사건" 원고
)
CS슬로건 + 미개한 프로그래밍 기술
(
CS4HS 2010:제1회 고교 컴퓨터 담당교원 워크샵
)
당신과 당신의 연구
(
PDF
) (
요약정리
) (
유사버전
)
대학원 생활 가이드
영문용법 팁
/
흔한 영문 실수
/
영문 사용법 온라인
대학원생활: 성공하기 I (Wanda Pratt)
대학원 생활: 성공하기 II (Ron Azuma)
대학원생활: 연구와 논문쓰기
/
논문이란(Olin Shivers)
/
논문 쓰기란(Olivier Danvy)
발표요령 I (Olivier Danvy)
/
발표요령 II (Peyton Jones)
/
발표요령 III (Others)
학술회의 논문 쓰는 요령(Bill Pugh)
/
프로젝트 프로포절 쓰는 요령(Peyton Jones)
/
거절받는 논문(Leunen and Lipton)
프로그래밍 교육에서 실습언어의 선택
양자 프로그래밍(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.
/
공부 풍토
/
방법 서설
/
서울과 시골
/
조그만 대세
/
GNU
세상 /
방번호
/
학과이름
/
단견편견
/
연구환경
/
안목
/
사람심리
/
부류
/
당신의연구
/
병통
/
공부의 언어
/
관악시평: 영어강의
/
관악시평: 풍경
/
책들
/
SW교육
/
쉬운 전문용어 배경+원칙
/
쉬운 전문용어 제안서
/
쉬운 전문용어 플랫폼
/
창의적사고:89가지
Contact Information
Prof. Kwangkeun Yi
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.