| 2019 |
— |
— |
Doug Woos
|
| 2019 |
A |
conf |
EuroSys
Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock
|
| 2019 |
— |
conf |
SPLASH-E
Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock
|
| 2018 |
J |
jnl |
CoRR
Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
|
| 2018 |
A* |
conf |
PLDI
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos
|
| 2016 |
J |
jnl |
ACM Trans. Comput. Syst.
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe
|
| 2016 |
B |
conf |
CPP
Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
|
| 2016 |
A |
conf |
OOPSLA
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock
|
| 2015 |
A* |
conf |
PLDI
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
|
| 2014 |
A* |
conf |
OSDI
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe
|
| 2014 |
A* |
conf |
SIGCOMM
Simon Peter, Umar Javed, Qiao Zhang, Doug Woos, Thomas E. Anderson, Arvind Krishnamurthy
|
| 2014 |
— |
conf |
HotStorage
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Thomas E. Anderson, Arvind Krishnamurthy, Mark Zbikowski, Doug Woos
|