Talks

2026

  1. Data-Driven Abstractions for Embedded Software
    Doctoral Dissertation
    · Daegu, Korea
  2. Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
    Top Conference Session · KNU CSE BK21 Graduate Student Exchange Conference
    · Daegu, Korea
    Slides
  3. Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
    Research Paper Presentation · FSE 2026
    · Concordia University, Montreal, Canada
    Slides
  4. AutoCL: Active Learning of Symbolic Automata via Dynamic Symbolic Mapper
    Milestone Talk · 10th STAAR Winter Workshop
    · Ulsan, Korea
    Slides
  5. Active Learning of Symbolic Automata via Dynamic Symbolic Mapper
    PhD Presentation Session · KNU CSE BK21 Graduate Student Exchange Conference
    · Daegu, Korea
    Slides

2025

  1. C2FSM: A Tool for Active Learning of Extended Finite State Machines from C Programs
    Milestone Talk · 9th STAAR Summer Workshop
    · Korea University, Seoul, Korea
    Slides
  2. C2FSM: A Tool for Active Learning of Extended Finite State Machines from C Programs
    PhD Presentation Session · KNU CSE BK21 Graduate Student Exchange Conference
    · Daegu, Korea
    Slides
  3. PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
    Top Conference Session · KCC 2025
    · Jeju, Korea
    Slides
  4. Efficient Active Model Learning using Program Synthesis
    Lightning Talk · 8th STAAR Winter Workshop
    · Yeosu, Korea
    Slides
  5. PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
    Top Conference Session · KCSE 2025
    · Pyeongchang, Korea
    Slides
  6. PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
    Top Conference Session · KNU CSE BK21 Graduate Student Exchange Conference
    · Daegu, Korea
    Slides

2024

  1. PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
    Research Paper Presentation · FSE 2024
    · Porto de Galinhas, Ipojuca, Pernambuco, Brazil
    Slides
  2. PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
    Published Paper Session · 7th STAAR Summer Workshop
    · Gyeongju, Korea
    Slides
  3. Automatic Generation of Software Disaster Models via Active Learning
    Lightning Talk · 6th STAAR Winter Workshop
    · KAIST, Daejeon, Korea
    Slides

2023

  1. PBE-Based Function Summarization and Refinement for Efficient Property Falsification
    Lightning Talk · 5th STAAR Summer Workshop
    · Ulsan, Korea
    Slides
  2. An Approach of Incremental Constraint Extraction Based on I/O Examples for Automatic Stub Generation
    Research Paper Presentation · KCSE 2023
    · Pyeongchang, Korea
    Slides
  3. PBE-Based Automatic Stub Generation and Stub Code Partitioning for Efficient Model Checking
    Lightning Talk · 4th STAAR Winter Workshop
    · Paju, Korea
    Slides

2022

  1. An Automated Stub Generation Approach Using Program Synthesis for Software Verification
    Master's Thesis
    · Daegu, Korea
    Slides
  2. Improving Model Checking Efficiency Using Program Synthesis and Counterexample Trace-Based Alarm Filtering
    Lightning Talk · 3rd STAAR Summer Workshop
    · Pohang, Korea
    Slides

2021

  1. A Case Study to Improve the Efficiency of Model Checking in Embedded Software Using Program Synthesis
    Research Paper Presentation · KSC 2021
    · Pyeongchang, Korea
    Slides
  2. A Case Study on the Performance of Program Synthesis in Embedded Software Domain
    Research Paper Presentation · KCSE 2021
    · Online
    Slides