Talks

• [FSE 2024] Partial Solution Based Constraint Solving Cache in Symbolic Execution. Porto de Galinhas, Recife, Brazil. 2024.07.

• [KLEE 2024] Symbolic execution oriented constraint solving. Lisbon, Portugal. 2024.04.

• [Forum for Intelligent Development of Safety-Critical Software, Chinasoft 2023] Symbolic execution oriented constraint solving. Shanghai, China. 2023.12.

• [Chinasoft 2022] Symbolic execution: progress and challenges. Online. 2022.11. [Video]

• [ISSTA 2021] Type and interval aware array constraint solving for symbolic execution. Virtual Event, Denmark. 2021.07. [Slides]

• [ISSTA 2021] Grammar-agnostic symbolic execution by token symbolization. Virtual Event, Denmark. 2021.07. [Slides]

• [ISSTA 2021] Synthesize solving strategy for symbolic execution. Virtual Event, Denmark. 2021.07. [Slides]

• [ICSE 2020] Symbolic verification of message passing interface programs. Virtual Event. 2020.09. [Slides] [Video]

• [ICSE 2018] Symbolic verification of regular properties. Gothenburg, Sweden. 2018.05. [Slides]

• [ICSE 2015] Regular Property Guided Dynamic Symbolic Execution. Florence, Italy. 2015.16. [Slides]