Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Longfei Qiu
conf.researchr.org general profile
PLDI 2024 profile
PLDI 2025 profile
PLDI 2026 profile
SPLASH 2024 profile
Registered user since Fri 11 Nov 2022
Name:
Longfei Qiu
Contributions
2026
PLDI
Author of SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols within the PLDI Research Papers-track
2025
PLDI
Author of LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols within the PLDI Research Papers-track
2024
SPLASH
Author of AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects within the OOPSLA 2024-track
PLDI
Author of LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs within the PLDI Research Papers-track
Share
x
Thu 30 Apr 02:28