Talks

• [Forum for Techniques and Applications of Constraint Solving, Chinasoft 2025] Symbolic execution oriented constraint solving. Wuhan, China. 2025.11.

• [FSE 2025] QSF: Multi-Objective Optimization based Efficient Solving for Floating-Point Constraints. Trondheim, Norway. 2025.06. [Slides]

• [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]

• [JPF 2019] Symbolic Verification of Regular Properties for Java Programs. San Diego, California, United States. 2019.11.

• [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]

• [ISSRE 2014] A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. Naples, Italy. 2014.11.

• [SOSE 2014] MTracer: A Trace-Oriented Monitoring Framework for Medium-Scale Distributed Systems. Oxford, United Kingdom. 2014.04.

• [WS-FM 2013] An Operational Semantics for Model Checking Long Running Transactions. Beijing, China. 2013.08. [Slides]

• [ICPADS 2012] Online Optimization of VM Deployment in IaaS Cloud. Singapore. 2012.11.

• [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]