Talks and presentations

2024

• E\&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification
  AGI Leap Summit 2024
  Website
  Symposium on the Science of Security, HoTSoS 2024
  Website

• SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
  Linux Security Summit North America 2023
  Website
  Slides
  YouTube
  Qualcomm Product Security Summit 2023
  Website
  44th IEEE Symposium on Security and Privacy, S&P 2023
  Website
  YouTube
  Symposium on the Science of Security, HoTSoS 2024
  Website

2022

• Demystifying the Dependency Challenge in Kernel Fuzzing
  44rd IEEE/ACM International Conference on Software Engineering, ICSE 2022
  Website
  Slides
  YouTube