William Schultz

13 papers A 1B 4Journal 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Design and Modular Verification of Distributed Transactions in MongoDB.
Proc. VLDB Endow.
William Schultz, Murat Demirbas
2024 B conf
Efficient Synthesis of Symbolic Distributed Protocols by Sketching.
FMCAD
Derek Egolf, William Schultz, Stavros Tripakis
2024 J jnl
Efficient Synthesis of Symbolic Distributed Protocols by Sketching.
CoRR
Derek Egolf, William Schultz, Stavros Tripakis
2024 J jnl
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing.
CoRR
William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis
2022 B conf
Formal verification of a distributed dynamic reconfiguration protocol.
CPP
William Schultz, Ian Dardik, Stavros Tripakis
2022 B conf
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA
FMCAD
William Schultz, Ian Dardik, Stavros Tripakis
2022 J jnl
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+.
CoRR
William Schultz, Ian Dardik, Stavros Tripakis
2021 A conf
Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.
DISC
William Schultz, Siyuan Zhou, Stavros Tripakis
2021 B conf
Design and Analysis of a Logless Dynamic Reconfiguration Protocol.
OPODIS
William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis
2021 J jnl
Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.
CoRR
William Schultz, Siyuan Zhou, Stavros Tripakis
2021 J jnl
Formal Verification of a Distributed Dynamic Reconfiguration Protocol.
CoRR
William Schultz, Ian Dardik, Stavros Tripakis
2019 J jnl
Tunable Consistency in MongoDB.
Proc. VLDB Endow.
William Schultz, Tess Avitabile, Alyson Cabral
2008 J jnl
Strategic planning in fractional aircraft ownership programs.
Eur. J. Oper. Res.
Yufeng Yao, Özlem Ergun, Ellis L. Johnson, William Schultz, J. M. Singleton