Talks
[KLEE 2024] Symbolic execution oriented constraint solving. Lisbon, Portugal. 2024.04.
[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] [Video]