Travelled to:2 × USA
Collaborated with:Z.Tatlock M.D.Ernst A.Krishnamurthy J.R.Wilcox T.E.Anderson K.Weitz E.Torlak P.Panchekha X.Wang S.Peter J.Li I.Zhang D.R.K.Ports T.Roscoe Marcelo Taube G.Losa K.L.McMillan O.Padon M.Sagiv S.Shoham
Talks about:system (3) distribut (2) verif (2) implement (1) framework (1) protocol (1) configur (1) scalabl (1) modular (1) gateway (1)
Person: Doug Woos
DBLP: Woos:Doug
Contributed to:
2015
2014
20162018Wrote 4 papers:
- PLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification
- Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
- OSDI-2014-PeterLZPWKAR #named #operating system
- Arrakis: The Operating System is the Control Plane (SP, JL, IZ, DRKP, DW, AK, TEA, TR), pp. 1–16.
- OOPSLA-2016-WeitzWTEKT #protocol #scalability #smt #verification
- Scalable verification of border gateway protocol configurations with an SMT solver (KW, DW, ET, MDE, AK, ZT), pp. 765–780.
- PLDI-2018-TaubeLMPSSWW #composition #decidability #deduction #distributed #verification
- Modularity for decidability of deductive verification with applications to distributed systems (MT, GL, KLM, OP, MS, SS, JRW, DW), pp. 662–677.