Talks
[Forum for Intelligent and High-Confident Embedded Software Engineering, Chinasoft 2024] Symbolic execution: progress and challenges. Xian, China. 2024.11.
[FSE 2024] Partial Solution Based Constraint Solving Cache in Symbolic Execution. Porto de Galinhas, Recife, Brazil. 2024.07. [Slides]
[KLEE 2024] Symbolic execution oriented constraint solving. Lisbon, Portugal. 2024.04. [Slides] [Video]
[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.05. [Slides]
[APSEC 2014] Synchronization Error Detection of MPI Programs by Symbolic Execution. Jeju,South Korea. 2014.12. [Slides]
[WS-FM 2013] An Operational Semantics for Model Checking Long Running Transactions. Beijing, China. 2013.08. [Slides]
[FM 2011] Failure-Divergence Refinement of Compensating Communicating Processes. Limerick, Ireland. 2011.06. [Slides]
[ICTAC 2010] An Extended cCSP with Stable Failures Semantics. Natal, Brazil. 2010.09. [Slides]