Sotabase

Career

· Researcher, Columbia University, Software Systems Laboratory (SSL)

Publications (17)

Verdi: a framework for implementing and formally verifying distributed systems
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015
359
cited
Arrakis
USENIX Symposium on Operating Systems Design and Implementation · 2014
305
cited
Planning for change in a formal verification of the raft consensus protocol
Certified Programs and Proofs · 2016
155
cited
Scalable verification of border gateway protocol configurations with an SMT solver
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
80
cited
Modularity for decidability of deductive verification with applications to distributed systems
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
78
cited
One tunnel is (often) enough
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication · 2014
66
cited
Formal Semantics and Automated Verification for the Border Gateway Protocol
2016
21
cited
Towards High-Performance Application-Level Storage Management
USENIX Workshop on Hot Topics in Storage and File Systems · 2014
15
cited
Teaching Rigorous Distributed Systems With Efficient Model Checking
European Conference on Computer Systems · 2019
10
cited
Theia: automatically generating correct program state visualizations
SPLASH-E · 2019
7
cited
A Graphical Interactive Debugger for Distributed Systems
arXiv.org · 2018
3
cited
Verification of Implementations of Distributed Systems under Churn
2016
2
cited
A Step-through Debugger for Distributed Systems
2019
1
cited
Characterizing consensus in the Heard-Of model
International Conference on Concurrency Theory · 2020
1
cited
Formal Semantics & Verification for the Border Gateway Protocol
2016
1
cited
Incorporating Network RAM and Flash into Fast Backing Store for Clusters
IEEE International Conference on Cluster Computing · 2011
1
cited
Sotabase
Doug Woos | Researcher Profile | Sotabase | Sotabase