1. • 2012.03 ~ current: Research Associate, ROSAEC Center , Seoul National University

Hakjoo Oh 오학주



Research Associate,

ROSAEC Center

Seoul National University

[CV]

  1. • 2007 ~ 2012: Ph.D., School of Computer Science and Engineering, SNU (Advisor: Kwangkeun Yi)

  2. • 2005 ~ 2007: M.S., School of Computer Science and Engineering, SNU (Advisor: Kwangkeun Yi)

  3. • 2001 ~ 2005: B.S., Division of Computer Science, Department of EECS, KAIST

  4. • 1999 ~ 2001: Seoul Science High School

Experience

  1. •Global Sparse Analysis Framework
    Hakjoo Oh, Kihong Heo, Daejun Park, Jeehoon Kang, and Kwangkeun Yi
    Submitted. (An extended version of the PLDI 2012 paper)
    [pdf] [slides (presented at Dagstuhl Seminar 13162 on Pointer Analysis)]

  2. •Access-based Abstract Memory Localization in Static Analysis
    Hakjoo Oh and Kwangkeun Yi
    Science of Computer Programming, 2013 (An extended version of VMCAI 2011)
    [link]

  3. •Design and Implementation of Sparse Global Analyses for C-like Languages
    Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi
    PLDI 2012: ACM SIGPLAN Conference on Programming Language Design and Implementation (ACM SIGPLAN Notices Volume 47 Issue 6) (18% accepted: 48/255)
    [pdf/slides/bibtex]

  4. •Access-based Localization with Bypassing
    Hakjoo Oh and Kwangkeun Yi
    APLAS 2011: The 9th Asian Symposium on Programming Languages and Systems
    [pdf/slides/bibtex]


  1. •Access Analysis-Based Tight Localization of Abstract Memories
    Hakjoo Oh, Lucas Brutschy, and Kwangkeun Yi
    VMCAI 2011: The 12th International Conference on Verification, Model Checking, and Abstract Interpretation
    [pdf/slides/bibtex]


  1. •An Algorithmic Mitigation of Large Spurious Interprocedural Cycles in Static Analysis
    Hakjoo Oh, and Kwangkeun Yi
    Software: Practice and Experience, 2010 (An extended version of APLAS 2009)
    [pdf/bibtex]

  2. •Large Spurious Cycles in Global Static Analysis and Its Algorithmic Mitigation
    Hakjoo Oh
    APLAS 2009: The 7th Asian Symposium on Programming Languages and Systems
    [pdf/bibtex/slides]


  1. •Identifying Static Analysis Techniques for Finding Non-fix Hunks in Fix Revisions
    Yungbum Jung, Hakjoo Oh, and Kwangkeun Yi.
    DSMM 2009: The first ACM Workshop on Data-intensive Software Management and Mining
    [pdf]

Publications

International Journals, Conferences, and Workshops

Domestic Journals & Conferences

  1. • 이우석, 오학주, 김유일, 이광근. 분석 경보 주위에만 관계 분석을 적용하여 거짓 경보를 줄이는 방법. 한국정보과학회 학술발표논문집, Vol.38 No.1C, 2011

  2. •고윤석, 오학주, 허기홍, 이광근. 필요한 정보만 가지고 필요한 지점만 분석하는 일반적인 방법. 한국정보과학회 학술발표논문집, Vol.38 No.1C, 2011

  3. • 허기홍, 오학주, 이광근. 함수 호출을 구별하는 분석에서 가짜 경로를 없애는 한 방법. 한국정보과학회 학술발표논문집, vol.38 No.1C, 2011

  4. • 오학주, 이광근. 문맥둔감이 비싼 이유와 그 비용을 줄이는 방법. 프로그래밍언어 논문지, 2008.12

  5. • 오학주, 이광근. 요약해석을 이용한 버퍼오버런 분석에서 루프 분석결과의 정교화. 정보과학회 논문지: 컴퓨팅의 실제 및 레터, Vol.14 No.1, 2008

  6. • 오학주, 이광근. 요약해석을 이용한 버퍼오버런 분석에서 루프의 분석결과를 정교화하는 방법. 한국정보과학회 학술발표논문집, Vol.34 No.1A, 2007

  7. • 오학주, 정영범, 진민식, 김덕환, 황의권, 박대준, 이희종, 공순호, 이광근. 스패로우: 소스코드 분석기. 한국정보과학회 학술발표논문집, Vol.34 No.1C, 2007

  8. • 신재호, 김재황, 오학주, 정영범, 황의권. 요약해석기 AiracV. 프로그래밍언어 논문지, 2005.11

Awards

  1. • Sparse Analysis Framework, Dagstuhl Seminar 13162, Dagstuhl, Germany, Apr 18 2013 [slides]

  2. • Spatial and Temporal Localization Techniques for Global Static Analysis, Workshop on Analysis and Verification of Cyber Physical Software, China. Oct 25 2012

  3. • Static Program Analysis for Million Lines of Code. Tutorial at KCC, Jeju, Korea. Jun 28 2012

  4. • Design and Implementation of Sparse Global Analyses for C-like Languages, PLDI 2012 [slides]

  5. • Cost-reduction Techniques for Static Program Analysis, lecture at SIGPL Winter School 2012

  6. • Global Static Analysis of Million Lines of Code, Lightning Session at POPL 2012

  7. • Access-based Localization with Bypassing, APLAS’11 [slides]

  8. • Access Analysis-based Tight Localization of Abstract Memories, VMCAI’11 [slides]

  9. • Large Spurious Cycles in Global Static Analysis and Its Algorithmic Mitigation, APLAS’09 [slides]

  10. • Avoiding Spurious Interprocedural Cycles Matters For Scalable Analyses, Student Research Competition, PLDI’08 (poster) [pdf]

  1. • 휴먼테크 논문대상, 동상, 삼성전자, 2008

Teaching

  1. • 2011 Spring: Programming Languages (Lecturer)

  2. • 2008 Fall: Program Analysis (TA)

  3. • 2007 Fall: Programming Languages, Programming Language Theory (TA)

  4. • 2006 Spring: Program Analysis (TA)

  5. • 2005 Fall: Programming Languages (TA)

  6. • 2005 Spring: Principles of Programming (TA)

Activities

  1. • POPL’13, SAS’12, PADL’12, PEPM’12, ESOP’11, SPLASH’11, SSV’11, SSV’10, SPLASH’10, CAV’10, VMCAI’10, ESOP’09, SAS’09, SAS’07, APLAS’07

Email: pronto@ropas.snu.ac.krmailto:pronto@ropas.snu.ac.krshapeimage_2_link_0

Talks

Ph.D. Thesis

  1. •Spatial, Temporal, and Contextual Localization Techniques for Scalable Global Static Analysis
    Hakjoo Oh, February 2012 [pdf]

Trips

  1. •04/14/13 - 04/19/13, Dagstuhl Seminar 13162, Dagstuhl, Germany [report,group-photos:1,2]

  2. •01/20/13 - 01/26/13, POPL&VMCAI, Rome, Italy [report]

  3. •10/24/12 - 10/28/12, Workshop on Analysis and Verification of Cyber Physical Software, Changsha, China

  4. •06/10/12 - 06/17/12, paper presentation, PLDI, Beijing, China [report]

  5. •01/22/12 - 01/27/12, student lightning talk, POPL&VMCAI, Philadelphia, USA [report]

  6. •12/04/12 - 12/09/11, paper presentation, APLAS, Kenting, Taiwan [report]

  7. •01/22/11 - 01/30/11, paper presentation, POPL&VMCAI, Austin, USA [report]

  8. •06/15/10 - 06/20/10, Oregon PL Summer School, Oregon, USA [report]

  9. •01/15/10 - 01/25/10, POPL&VMCAI, Madrid, Spain [report]

  10. •06/04/08 - 06/13/08, poster presentation, PLDI, Tucson, Arizona, USA [report]

Education

Research Interests

  1. • Static analysis techniques for achieving sound, precise, and scalable global analysis (e.g., see the sparse analysis framework)

Program Committee member

External Reviewer for Conferences

  1. • SAC 2014 (Programming Languages Track): 29th ACM Symposium on Applied Computing

  2. • APLAS 2013: 11th Asian Symposium on Programming Languages and Systems