NEWS
The 2025 AD Scientific Index is here—explore updated university and researcher rankings!
New! Young University / Institution Rankings 2025
New! The 2025 Edition of the AD Scientific Index is now live!
New! Art & Humanities Rankings 2025
New! Social Sciences and Humanities Rankings 2025
"Exciting Update! The 2025 Edition of the AD Scientific Index is now live!
AD
Scientific Index 2025
Scientist Rankings
University Rankings
Subject Rankings
Country Rankings
login
Login
person_add
Register
insights
H-Index Rankings
insights
i10 Productivity Rankings
format_list_numbered
Citation Rankings
subject
University Subject Rankings
school
Young Universities
format_list_numbered
Top 100 Scientists
format_quote
Top 100 Institutions
format_quote
Compare & Choose
local_fire_department
Country Top Lists
Doug Woos
University of Washington - Seattle / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1684886
Edit Form
Registration, Add Profile,
Premium Membership
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Congresses (0)
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Doug Woos's MOST POPULAR ARTICLES
1-)
Arrakis: The operating system is the control planeS Peter, J Li, I Zhang, DRK Ports, D Woos, A Krishnamurthy, T Anderson, ...ACM Transactions on Computer Systems (TOCS) 33 (4), 1-30, 20154842015
2-)
Verdi: A framework for formally verifying distributed system implementationsJR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ...Proceedings of the 2015 ACM SIGPLAN Conference on Programming Language …, 2015333*2015
3-)
Planning for change in a formal verification of the Raft consensus protocolD Woos, JR Wilcox, S Anton, Z Tatlock, MD Ernst, T AndersonProceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 20161142016
4-)
Scalable verification of border gateway protocol configurations with an SMT solverK Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z TatlockProceedings of the 2016 acm sigplan international conference on object …, 2016862016
5-)
Modularity for decidability of deductive verification with applications to distributed systemsM Taube, G Losa, KL McMillan, O Padon, M Sagiv, S Shoham, JR Wilcox, ...Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018682018
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept