William Schultzschultz (dot) w (at) northeastern (dot) edu
I am a third-year PhD student in the formal methods group at Northeastern University where I am advised by Stavros Tripakis. My research interests are in formal methods and distributed systems broadly. Previously I worked as a software engineer at MongoDB on their distributed database replication system. Before that I was an undergraduate at Cornell University, where I studied Mathematics and Computer Science and graduated in 2016. |
![]() |
Publications
-
Plain and Simple Inductive Invariant
Inference for Distributed Protocols in TLA+
, Ian Dardik, and Stavros Tripakis. FMCAD 2022
[pdf] [code]
-
Formal Verification of a Distributed
Dynamic Reconfiguration Protocol
, Ian Dardik, and Stavros Tripakis. CPP 2022
[code] [video]
-
Design And Analysis of a Logless Dynamic
Reconfiguration Protocol
, Siyuan Zhou, Ian Dardik, and Stavros Tripakis. OPODIS 2021
[full version] [code] [video] [protocol visualization]
-
Tunable Consistency in MongoDB
, Tess Avitabile, and Alyson Cabral. VLDB 2019
Talks
-
Inductive Invariant Inference in TLA+
William Schultz. New England Systems Verification Day 2022. -
A Bug's Life: Fixing a MongoDB Replication Protocol Bug with TLA+
William Schultz and Siyuan Zhou. TLA+ Conference 2019.
[video] [slides] -
An Animation Module for TLA+
William Schultz. TLA+ Community Event 2018.
[video]
Experience
-
Summer 2022 Applied Scientist Intern, Amazon Web Services (AWS)
-
Summer 2021 Research Intern, NASA Langley Research Center [presentation]
-
2016 - 2020 Software Engineer, MongoDB