- 양자 프로그램 자동 합성. Feb. 06. 2023. 컴퓨터시스템소사이어티 동계학술대회 [pdf]
- VeriSmart: 스마트 컨트랙트 안전성 검증기. Dec. 10, 2019. KAIST 정보보호대학원 세미나 [pdf]
- 스마트컨트랙트 취약점 자동 검증. Sep. 30, 2019. 고려대학교블록체인연구소 세미나 [pdf]
- AI-based Software Analysis and Testing. July. 9, 2019. SureSoftTech. [slides]
- OCaml 프로그래밍. Jan. 10-11, 2019. Tezos Blockchain Camp. [slides]
- 소프트웨어 증명 기술을 이용한 스마트 컨트랙트 안전성 검증. 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. June. 11, 2018. [slides]
- 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]
- Automatically Generating Search Heuristics for Concolic Testing. SW Center, Samsung Electronics. Aug. 8, 2017. [slides]
- Data-Driven Program Analysis. Postech. Nov 9, 2016. [slides]
- Machine-Learning-Guided Adaptive Program Anaysis. TAPAS 2016. Edinburgh, Scotland. Sep 8, 2016. [slides] [talk 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]
- Learning a Strategy for Adapting a Program Analysis via Bayseian Optimization. Paper presentation at ACM OOPSLA 2015, Pittsburgh, USA. October 29 2015. [slides]
- Selective Context-Sensitivity Guided by Impact Pre-Analysis. Paper presentation at ACM PLDI 2014, Edinburth, Scotland. Jun 11 2014. [slides]
- 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]
- Static Program Analysis for Million Lines of Code. Tutorial at Korea Computer Congress, Jeju, Korea. Jun 28 2012
- Cost-reduction Techniques for Static Program Analysis. Lecture at SIGPL Winter School, Gyeongbuk, Korea. Feb 03-04 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.
- Design and Implementation of Sparse Global Analyses for C-like Languages.Paper presentation at ACM PLDI 2012, Beijing, China. Jun 12 2012.
[slides]
- Access-analysis-based Tight Localization of Abstract Memories.
Paper presentation at VMCAI 2011. Austin, Texas, USA. January 23 2011.
[slides]
-
Access-based Localization with Bypassing.
Paper presentation at APLAS 2011. Kenting, Taiwan. Dec 05 2011.
[slides]
-
Global Static Analysis of Million Lines of Code.
Lightning talk at ACM POPL. Philadelphia, USA. Jan 25 2012.
[slides]
-
Large Spurious Cycles in Global Static Analysis and Its Algorithmic Mitigation.
Paper presentation at APLAS 2009. Seoul, Korea. Dec 14 2009.
[slides]
-
Avoiding Spurious Cycles Matters for Scalable Analysis.
Poster presentation at ACM PLDI 2008. Tucson, Arizona, USA. Jun 8 2008.
[slides]