D. Walker
发表
Lujo Bauer,
David Walker,
Jay Ligatti,
2005,
PLDI '05.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2013,
IEEE Communications Magazine.
David Walker,
Nikhil Swamy,
Cole Schlesinger,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
David Walker,
Karl Crary,
J. Gregory Morrisett,
1999,
POPL '99.
David Walker,
J. Gregory Morrisett,
Frederick Smith,
2000,
ESOP.
David Walker,
D. Walker,
2000,
POPL '00.
D. Walker,
F. Pfenning,
K. Watkins,
2003
.
J. Rexford,
D. Walker,
N. Katta,
2014
.
George Varghese,
Glen Gibb,
Nick McKeown,
2013,
CCRV.
David Walker,
Zhenming Liu,
Jennifer Rexford,
2013,
CoNEXT.
D. Walker,
Ratul Mahajan,
J. Padhye,
2017
.
Tim Alberdingk Thijm,
Aarti Gupta,
D. Walker,
2022,
ArXiv.
David Walker,
Peter White,
Kenny Q. Zhu,
2008,
POPL '08.
Jarred Adam Ligatti,
Lujo Bauer,
D. Walker,
2002
.
Lujo Bauer,
David Walker,
Jarred Adam Ligatti,
2002
.
Lujo Bauer,
Jay Ligatti,
D. Walker,
2005,
PLDI.
D. Walker,
Kathleen Fisher,
Y. Mandelbaum,
2007
.
J. Rexford,
D. Walker,
Kuo-Feng Hsu,
2018
.
D. Walker,
C. Appel,
2008
.
J. Rexford,
D. Walker,
M. Freedman,
2013
.
D. Walker,
Kathleen Fisher,
Y. Mandelbaum,
2006,
POPL '06.
Aarti Gupta,
D. Walker,
Ryan Beckett,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
B. Pierce,
S. Zdancewic,
D. Walker,
2020
.
D. Walker,
J. Parrow,
B. Berthomieu,
1995
.
Sriram K. Rajamani,
David Walker,
S. Rajamani,
2015,
POPL 2015.
Michael J. Freedman,
Jennifer Rexford,
Nate Foster,
2011,
ICFP.
D. Walker,
Devon Loehr,
2022,
Proc. ACM Program. Lang..
Jean-Baptiste Jeannin,
Cole Schlesinger,
Nate Foster,
2014,
POPL.
David Walker,
Karl Crary,
J. Gregory Morrisett,
2003,
Journal of Functional Programming.
Nate Foster,
Rob Harrison,
Christopher Monsanto,
2012,
POPL '12.
David Walker,
Jennifer Rexford,
John Sonchack,
2021,
SIGCOMM.
David Walker,
Kathleen Fisher,
Yitzhak Mandelbaum,
2006,
POPL '06.
Jennifer Rexford,
Mina Tahmasbi Arashloo,
David Walker,
2020,
HotNets.
Tim Alberdingk Thijm,
Aarti Gupta,
D. Walker,
2022,
2022 IEEE 30th International Conference on Network Protocols (ICNP).
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2011,
ICFP.
David Walker,
Limin Jia,
Kenny Q. Zhu,
2009,
PPDP '09.
Ryan Beckett,
David Walker,
Michael Greenberg,
2016,
PLDI.
David Walker,
Nate Foster,
Rob Harrison,
2012,
POPL '12.
David Walker,
Mary F. Fernández,
Kathleen Fisher,
2007,
POPL '07.
David Walker,
Yitzhak Mandelbaum,
D. Walker,
2006
.
Nate Foster,
Jean-Baptiste Jeannin,
Arjun Guha,
2014,
POPL.
Kuo-Feng Hsu,
Ryan Beckett,
David Walker,
2019,
NSDI.
Ratul Mahajan,
Ryan Beckett,
David Walker,
2021,
SIGCOMM.
Ratul Mahajan,
Ryan Beckett,
David Walker,
2017,
SIGCOMM.
Ratul Mahajan,
Todd D. Millstein,
Ryan Beckett,
2016,
SIGCOMM.
David Walker,
Peter-Michael Osera,
Steve Zdancewic,
2016,
POPL.
Robert Grimm,
David Walker,
Yvonne Coady,
2005,
HotOS.
Karl Crary,
J. Gregory Morrisett,
Neal Glew,
1999,
TOPL.
David Walker,
Steve Zdancewic,
Jay Ligatti,
2006,
Sci. Comput. Program..
Feng Liu,
Yun Zhang,
David Walker,
2011,
2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC).
David Walker,
Jennifer Rexford,
Mina Tahmasbi Arashloo,
2015,
SIGCOMM.
Lujo Bauer,
David Walker,
Jay Ligatti,
2005,
International Journal of Information Security.
David Walker,
Jennifer Rexford,
Anirudh Sivaraman,
2016,
HotNets.
David Walker,
Jennifer Rexford,
Mina Tahmasbi Arashloo,
2016,
NSDI.
David Walker,
Jennifer Rexford,
Anirudh Sivaraman,
2016
.
George Varghese,
Nick McKeown,
Amin Vahdat,
2013,
ArXiv.
David Walker,
Jennifer Rexford,
Cole Schlesinger,
2012,
SIGCOMM '12.
David Walker,
Jennifer Rexford,
Nate Foster,
2013,
NSDI.
Monia Ghobadi,
David Walker,
Jennifer Rexford,
2017,
HotNets.
David Walker,
Limin Jia,
D. Walker,
2006,
ESOP.
David Walker,
Robert Harper,
Yitzhak Mandelbaum,
2003,
ICFP '03.
David Walker,
Amal Ahmed,
D. Walker,
2003,
TLDI '03.
David Walker,
Xinming Ou,
Gang Tan,
2004,
IFIP TCS.
Dan Grossman,
David Walker,
Stephanie Weirich,
1999
.
D. Walker,
Andrew Johnson,
Xiaoqi Chen,
2022,
ACM SIGCOMM Symposium on Software Defined Networking Research.
Ratul Mahajan,
Todd D. Millstein,
Ryan Beckett,
2017,
PLDI.
David Walker,
Jennifer Rexford,
Cole Schlesinger,
2014,
SoCC.
David Walker,
Karl Crary,
J. Gregory Morrisett,
1998,
Journal of Functional Programming.
David Walker,
Kenny Q. Zhu,
Kathleen Fisher,
2012,
PADL.
David Walker,
Kenny Q. Zhu,
Qian Xi,
2009,
PADL.
Ryan Beckett,
Jennifer Rexford,
Ang Chen,
2020,
SOSR.
David Walker,
Karl Crary,
Neal Glew,
1997
.
David Walker,
Qian Xi,
D. Walker,
2010,
PLDI '10.
David Walker,
Kenny Q. Zhu,
Kathleen Fisher,
2008,
SIGMOD Conference.
Mina Tahmasbi Arashloo,
Shir Landau Feibish,
J. Rexford,
2022,
NSDI.
David Walker,
Jennifer Rexford,
Omid Alipourfard,
2016,
SOSR.
Aarti Gupta,
D. Walker,
Ryan Beckett,
2022,
Proc. ACM Program. Lang..
Tim Alberdingk Thijm,
Aarti Gupta,
D. Walker,
2022,
2022 IEEE 30th International Conference on Network Protocols (ICNP).
David Walker,
Nick Giannarakis,
Alexandra Silva,
2021,
Proc. ACM Program. Lang..
Ryan Beckett,
David Walker,
Nick Giannarakis,
2020,
PLDI.
Ryan Beckett,
Ratul Mahajan,
Aarti Gupta,
2019,
Proc. ACM Program. Lang..
Ratul Mahajan,
Ryan Beckett,
David Walker,
2018,
SIGCOMM.
Sharad Malik,
Ryan Beckett,
David Walker,
2014,
HotSDN.
David Walker,
Jennifer Rexford,
Srinivas Narayana,
2014,
HotSDN.
David Walker,
Jennifer Rexford,
Nate Foster,
2011,
HotNets-X.
Xin Jin,
David Walker,
Jennifer Rexford,
2015,
NSDI.
David Walker,
Jennifer Rexford,
Naga Praveen Katta,
2013,
HotSDN '13.
David Walker,
Kevin Watkins,
D. Walker,
2001,
ICFP '01.
David Walker,
Jennifer Rexford,
Nate Foster,
2013,
login Usenix Mag..
David Walker,
Cole Schlesinger,
Michael Greenberg,
2014,
ICFP 2014.
Xin Jin,
David Walker,
Jennifer Rexford,
2014,
HotSDN.
Ratul Mahajan,
Ryan Beckett,
David Walker,
2019,
CAV.
David Walker,
Kathleen Fisher,
D. Walker,
2011,
ICDT '11.
Todd Millstein,
David Walker,
Anders Miltner,
2020,
PLDI.
David Walker,
J. Gregory Morrisett,
D. Walker,
2000,
Types in Compilation.
David Walker,
Jennifer Rexford,
David Wentzlaff,
2020,
NSDI.
David Walker,
Frank Pfenning,
Iliano Cervesato,
2003
.
J. Rexford,
D. Walker,
Nate Foster,
2022
.
David Walker,
Limin Jia,
D. Walker,
2004,
ESOP.
David Walker,
Frank Pfenning,
Iliano Cervesato,
2003,
TYPES.
Lujo Bauer,
David Walker,
Jay Ligatti,
2009,
TSEC.
David Walker,
Karl Crary,
J. Gregory Morrisett,
2000,
TOPL.
David Walker,
Greg Morrisett,
D. Walker,
2000
.
D. Walker,
Karl Crary,
Neal Glew,
1998,
POPL '98.
Robert Grimm,
David Walker,
Yvonne Coady,
2006
.
David Walker,
Benjamin C. Pierce,
Steve Zdancewic,
2018,
Proc. ACM Program. Lang..
Mina Tahmasbi Arashloo,
J. Rexford,
D. Walker,
2022
.
David Walker,
Jennifer Rexford,
Omid Alipourfard,
2014,
HotSDN.
David I. August,
Jay Ligatti,
D. Walker,
2007,
PLDI '07.
David I. August,
Jay Ligatti,
D. Walker,
2006,
ICFP '06.
David Walker,
Frances Perry,
D. Walker,
2008
.