William Schultz

According to our database, William Schultz authored at least 10 papers between 2008 and 2024.

Collaborative distances:

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

2024

Efficient Synthesis of Symbolic Distributed Protocols by Sketching.

Derek Egolf, William Schultz, Stavros Tripakis

CoRR, 2024

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing.

William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis

CoRR, 2024

2022

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+.

William Schultz, Ian Dardik, Stavros Tripakis

CoRR, 2022

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA⁺.

William Schultz, Ian Dardik, Stavros Tripakis

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Formal verification of a distributed dynamic reconfiguration protocol.

William Schultz, Ian Dardik, Stavros Tripakis

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.

William Schultz, Siyuan Zhou, Stavros Tripakis

CoRR, 2021

Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication.

William Schultz, Siyuan Zhou, Stavros Tripakis

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Design and Analysis of a Logless Dynamic Reconfiguration Protocol.

William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis

Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

2019

Tunable Consistency in MongoDB.

William Schultz, Tess Avitabile, Alyson Cabral

Proc. VLDB Endow., 2019

2008

Strategic planning in fractional aircraft ownership programs.

Yufeng Yao, Özlem Ergun, Ellis L. Johnson, William Schultz, J. M. Singleton

Eur. J. Oper. Res., 2008