Jingqi Xiao
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
who talks about the same things
- Longfei Qiu5 talks
- Ji-Yong Shin6 talks
- Zhong Shao19 talks
- Yoonseung Kim3 talks
- Jieung Kim4 talks
- Wolf Honore4 talks
| title | conference | date |
|---|---|---|
| SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine(…) | PLDI 2026 | 2026-06-15 |
SureDistrib defines probabilistic IO automata in the Rocq proof assistant and proves composition lemmas that let an abstract underlay be replaced by an… | ||
| LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols | PLDI 2025 | 2025-06-16 |
LiDO-DAG gives an abstract concurrent-object model and a refinement proof showing DAG protocols simulate leader-based consensus, implemented in Coq and… | ||
| nothing matches | ||