Bryant Curto

According to our database, Bryant Curto authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Compositional Model-Driven Verification of Weakly Consistent Distributed Systems.

Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol.

Kezhi Xiong, Soonwon Moon, Joshua H. Kang, Bryant Curto, Jieung Kim, Ji-Yong Shin

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025