Jaeho Shin at ROPAS

Jaeho Shin | 신재호 | 申在鎬

Research Associate
ROSAEC Center
School of Computer Science and Engineering
Seoul National University

Office: +82-2-880-1532
Mobile: +82-10-9513-6146
Email: netj@...

Areas of Interest

I am interested in making our software more reliable and efficient. Static Program Analysis & Verification for detecting errors and verifying semantic properties efficiently was my main focus of research. I also enjoy studying Functional Programming and works on Programming Languages. Ultimately, I would like to make programming simple and natural enough, so that everyone can leverage the power of machines in their daily lives and have fun.

Other random topics that interest me are: XML, Web, Mobile App Programming, Information Visualization, Applying Unix philosophy, Decentralization.

Research Activities

• Jul 2010 ~ Present: Yoyak, an Abstract Debugger for C.
• Aug 2005 ~ Feb 2006: Airac5: Redesign of Airac. [ web pages ]
• Jun 2005 ~ Jan 2006: Detecting memory leaks in C programs. Supported by Samsung Electronics.
• Nov 2004 ~ Feb 2005: Analysis of string values in C programs. Supported by ITplus. [ analysis / diagram / implementation ]
• Aug 2004 ~ Jan 2005: Airac: Array Index Range Analyzer for C. Supported by Samsung Electronics. [ web pages ]
• Aug 2004 ~ Oct 2004: Extracting links from web programs. Supported by ITplus. [ memo ]

Note: Some documents are available only to our members. I might be able to make some of them available to you upon request.

Papers

• Master's Thesis: An Abstract Interpretation with the Interval Domain for C-like Programs. Jaeho Shin. School of Computer Science and Engineering, College of Engineering, Seoul National University. Aug 2006.
  공학석사학위논문: C와 같은 프로그램을 위한 구간 도메인을 이용한 요약해석. 신재호. 서울대학교 대학원 전기·컴퓨터공학부 컴퓨터공학전공. 2006년 8월.
  [ pdf (ROPAS MEMO) / ROPAS-2006-32 ]
• 요약해석기 AiracV. 신재호, 김재황, 오학주, 정영범, 이광근. 한국정보과학회 프로그래밍언어연구회, 프로그래밍언어논문지, 제19권 제2호 2005.11, pp. 10~16(7pages).
  
• 아이락: C 프로그램의 메모리 오류 정적 분석기. 정영범(Yungbum Jung), 김재황(Jaehwang Kim), 신재호(Jaeho Shin), 이광근(Kwangkeun Yi). 한국정보과학회, 한국정보과학회 2005 가을 학술발표 문집(Ⅱ)제32 제2호 2005.11, pp. 964~966(3pages).
  
• Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi. Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. pp. 203-217.
  [ DOI / slides ]
• Soundness by Static Analysis and False-alarm Removal by Statistical Analysis: Our Airac Experience. Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi. Workshop on the Evaluation of Software Defect Detection Tools (Bugs 2005), Chicago, USA, June 2005.
  
• 학부졸업논문: 스팸 차단을 위한 베이지안 메일 분류 기법. 신재호. 한국과학기술원 전자전산학과. 2004년 5월.
  [ SelectMail git repo ]

Talks

• Understanding Build Processes [ slides ]
  ROPAS Show&Tell. 2011-04-01.
• Introduction to the Android Platform [ slides / prezi ]
  ROPAS Show&Tell. 2011-02-25.
• ROSAEC Clinic Internals [ slides / pdf ]
  ROPAS Show&Tell. 2011-01-14.
• ROSAEC center Clinic Service [ pdf ]
  The 5th ROSAEC Center Workshop. 2011-01-07.
• Work in Progress: Yoyak Engine [ slides ]
  ROPAS Show&Tell. 2010-11-12.
• Security Problems in Mobile Apps and Static Analysis Ideas [ slides ]
  ROPAS Show&Tell. 2010-10-01.
• 깃으로 즐기는 생활 속 유연한 버전 관리 (Enjoying Git) [ pdf ]
  The 4th ROSAEC Center Workshop. 2010-08-26.
• Serializing Everything in Yoyak [ slides ]
  ROPAS Show&Tell. 2010-08-13.
• Plan for Yoyak, an Interactive Abstract Interpreter [ slides ]
  ROPAS Show&Tell. 2010-07-09.
• Lessons of Airac5 [ slides ]
  ROPAS Show&Tell. 2006-03-31.
• AiracV's Design [ slides / handout / blackboard ]
  ROPAS Show&Tell. 2005-12-02.
• 요약해석기 AiracV. [ slides ]
  프로그래밍언어연구회(SIGPL) 2005 추계학술대회. 한국항공대학교. 2005-11-19.
• Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. [ slides ]
  Static Analysis Symposium, London, UK. 2005-09-09.
• Alias & Shape Analyses [ slides ]
  ROPAS Show&Tell. 2005-08-08.
• Trace Partitioning Technique [ slides ]
  ROPAS Show&Tell. 2005-05-14.
• Static Single Assignment Form [ slides ]
  ROPAS Show&Tell. 2005-03-11.
• Set-Constraint-Based Analysis by Abstract Interpretation [ slides ]
  ROPAS Show&Tell. 2005-01-03.
• Widening/Narrowing Approaches to Abstract Interpretation [ slides ]
  ROPAS Show&Tell. 2004-11-19.
• Set-Based Analysis [ slides ]
  ROPAS Show&Tell. 2004-09-24.

Teaching

• Teaching assistant. 4190.310 Programming Languages. Seoul National University. 2004 Fall.
• System Programming Seminars. SPARCS. 2002 Summer.

Professional Experience

• Research Associate, Research on Software Analysis for Error-free Computing Center. Jun 2010 ~ Present.
• Software Engineer, Samsung Electronics Co., Ltd. Aug 2006 ~ Apr 2010.
• Intern, Neowiz. Jan ~ Feb 2004.
• Lead Operator, KAIST File Archive Service. 2002 ~ Present.
• Lead Developer, Crere Networks. Aug 2002 ~ Oct 2003.

Education

I have excellent skills in programming and operating computing machineries. I have a great understanding of computer science and fairly strong mathematical backgrounds. Kwang is my academic advisor.

• M.S., Programming Research Laboratory, School of Computer Science, Seoul National University. Sep 2004 ~ Aug 2006.
• B.S., magna cum laude in Computer Science, Korea Advanced Institute of Science and Technology. Mar 2000 ~ Aug 2004.
• Daejeon Science High School. Mar 1998 ~ Feb 2000.