(Selected) Talks


  • Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy. FSE 2022, Singapore. Nov 16 2022. [slides]

  • SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters, ICSE 2022, Pittsburgh, US. May 26 2022. [slides]

  • Data-Driven Symbolic Execution. KAIST, Aug 13 2021. [slides]

  • Concolic Testing with Adaptively Changing Search Heuristics. FSE 2019, Tallinn, Estonia. Aug 28 2019. [slides]

  • Automatically Generating Search Heuristics of Software Testing with Machine Learning. SOSCON, Samsung R&D campus. Oct 18 2018. [slides]

  • Template-Guided Concolic Testing via Online Learning. ASE 2018, Montpellier, France. Sep 06 2018. [slides]

  • Automatically Generating Search Heuristics for Concolic Testing. ICSE 2018, Gothenburg, Sweden. Jun 01 2018. [slides]

  • Automatically Generating Search Heuristics for Concolic Testing. Oxford University & Diffblue, Oxford, UK. Apr 09 2018. [slides]

  • Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. APLAS 2016, Hanoi, Vietnam. Nov 21 2016 [slides]