2026
- MIR: A Formal and Minimal Intermediate Representation for Rigorous Python Program Analysis.
IFIP WG 2.4 Meeting (Savannah)
Mar 2, 2026
[slides]
2025
- 고려대 소프트웨어분석 연구 소개.
SIGPL Summer School
Aug 20, 2025
[slides]
- Semantic Metamorphic Testing for Finding Bugs in SMT Solvers.
Dagstuhl Seminar 25242 (Testing Program Analyzers and Verifiers)
Jun 12, 2025
[slides]
- Static Analysis-based Repair of Memory Errors in C Programs.
IFIP WG 2.4 Meeting (Singapore)
Feb 25, 2025
[slides]
2024
- PL4XGL: A Programming Language Approach to Explainable Graph Learning.
IFIP WG 2.4 Meeting (Lugano)
May 14, 2024
[slides]
2023
- Data-Driven Static Analysis.
IFIP WG 2.4 Meeting (York Harbor)
Apr 25, 2023
[slides]
- 양자 프로그램 자동 합성.
컴퓨터시스템소사이어티 동계학술대회.
Feb 6, 2023
[slides]
2022
- Data-Driven Static Analysis: Combining Machine Learning and Program Analysis.
POPL tutorial
Jan 28, 2022
[slides]
2019
- VeriSmart: 스마트 컨트랙트 안전성 검증기.
KAIST 정보보호대학원 세미나.
Dec 10, 2019
[slides]
- 스마트컨트랙트 취약점 자동 검증.
고려대학교블록체인연구소 세미나.
Sep 30, 2019
[slides]
- AI-based Software Analysis and Testing.
SureSoftTech.
Jul 9, 2019
[slides]
- OCaml 프로그래밍.
Tezos Blockchain Camp.
Jan 10, 2019
[slides]
[link]
2018
- 소프트웨어 증명 기술을 이용한 스마트 컨트랙트 안전성 검증.
정보보호단기강좌.
Dec 13, 2018
[slides]
- 소프트웨어 오류 자동 수정 기법.
Dec 4, 2018
[slides]
- 스마트 컨트랙트 안전성 검증.
신한그룹 교류회.
Nov 27, 2018
[slides]
- Data-Driven and Focused Program Analysis.
SRFC Annual Forum.
Nov 15, 2018
[slides]
- Introduction to Software Research at Korea University.
S-Core.
Jun 11, 2018
[slides]
2017
- Data-Driven Program Analysis.
KAIST.
Oct 30, 2017
[slides]
- Data-Driven Program Analysis.
SNU.
Sep 29, 2017
[slides]
- Data-Driven Static Analysis.
NII Shonan Meeting on Memory Abstractions: Emerging Techniques and Applications.
Sep 12, 2017
[slides]
[link]
- Automatically Generating Search Heuristics for Concolic Testing.
SW Center, Samsung Electronics.
Aug 8, 2017
[slides]
2016
- Data-Driven Program Analysis.
Postech.
Nov 9, 2016
[slides]
- Machine-Learning-Guided Adaptive Program Anlaysis.
TAPAS 2016, Edinburgh, Scotland.
Sep 8, 2016
[slides]
[abstract]
- Machine-Learning-Guided Adaptive Program Anlaysis.
SIGPL Summer School.
Aug 19, 2016
[slides]
- Machine Learning Approaches to Selective Program Analysis.
SIGPL Winter workshop.
Feb 17, 2016
[slides]
2015
- Learning a Strategy for Adapting a Program Analysis via Bayseian Optimization.
Paper presentation at ACM OOPSLA 2015, Pittsburgh, USA.
Oct 29, 2015
[slides]
2014
- Selective Context-Sensitivity Guided by Impact Pre-Analysis.
Paper presentation at ACM PLDI 2014, Edinburth, Scotland.
Jun 11, 2014
[slides]
2013
- Selective-X Analysis Guided by Impact Pre-Analysis.
Talk at Workshop on Analysis and Verification of Cyber Physical Software, Seoul, Korea.
Dec 23, 2013
- Sparse Analysis Framework.
Dagstuhl Seminar 13162 on Pointer Analysis, Dagstuhl, Germany.
Apr 18, 2013
[slides]
[link]
2012
- Spatial and Temporal Localization Techniques for Global Static Analysis.
Talk at Workshop on Analysis and Verification of Cyber Physical Software, Changsha, China.
Oct 25, 2012
- Static Program Analysis for Million Lines of Code.
Tutorial at Korea Computer Congress, Jeju, Korea.
Jun 28, 2012
- Design and Implementation of Sparse Global Analyses for C-like Languages.
Paper presentation at ACM PLDI 2012. Beijing, China.
Jun 12, 2012
[slides]
- Cost-reduction Techniques for Static Program Analysis.
Lecture at SIGPL Winter School, Gyeongbuk, Korea.
Feb 3, 2012
- Global Static Analysis of Million Lines of Code.
Lightning talk at ACM POPL. Philadelphia, USA.
Jan 25, 2012
[slides]
2011
- Access-based Localization with Bypassing.
Paper presentation at APLAS 2011. Kenting, Taiwan.
Dec 5, 2011
[slides]
- Access-analysis-based Tight Localization of Abstract Memories.
Paper presentation at VMCAI 2011. Austin, Texas, USA.
Jan 23, 2011
[slides]
2009
- Large Spurious Cycles in Global Static Analysis and Its Algorithmic Mitigation.
Paper presentation at APLAS 2009. Seoul, Korea.
Dec 14, 2009
[slides]
2008
- Avoiding Spurious Cycles Matters for Scalable Analysis.
Poster presentation at ACM PLDI 2008. Tucson, Arizona, USA.
Jun 8, 2008
[poster]
Software Analysis Lab. @ Korea University