2023
- 양자 프로그램 자동 합성.
컴퓨터시스템소사이어티 동계학술대회.
Feb. 6 2023
[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