David Walker
发表
Ratul Mahajan,
Todd D. Millstein,
Ryan Beckett,
2017,
SOSR.
David Walker,
Karl Crary,
J. Gregory Morrisett,
2000,
TOPL.
Jack Dongarra,
David Walker,
J. Dongarra,
1993
.
Jack Dongarra,
Jaeyoung Choi,
David Walker,
1995
.
David Walker,
Matthew L. Meola,
2010,
ESOP.
Monia Ghobadi,
David Walker,
Jennifer Rexford,
2017,
HotNets.
David Walker,
Nikhil Swamy,
Cole Schlesinger,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2011,
ICFP.
David Walker,
Qian Xi,
D. Walker,
2010,
PLDI '10.
David Walker,
Guoyu Yu,
Hongyu Li,
2011
.
David Walker,
Kathleen Fisher,
Yitzhak Mandelbaum,
2006,
POPL '06.
George Varghese,
Nick McKeown,
Amin Vahdat,
2013,
ArXiv.
David Walker,
Ed Smith,
Blane Cole,
2003
.
David Walker,
Frank Pfenning,
Iliano Cervesato,
2003,
TYPES.
Jack Dongarra,
David Walker,
Roldan Pozo,
1993
.
David Walker,
Benjamin C. Pierce,
Steve Zdancewic,
2018,
Proc. ACM Program. Lang..
David Walker,
Linda Smith,
D. Brett Ridgely,
1997,
Int. J. Syst. Sci..
David Walker,
Limin Jia,
2006
.
David Walker,
Daniel S. Dantas,
2006,
POPL '06.
David Walker,
2002
.
David Walker,
Colin Stirling,
1989,
Automatic Verification Methods for Finite State Systems.
Plastic happenings: the visual-spatial characteristics of the church of the monastery of La Tourette
David Walker,
2016
.
David Walker,
Jennifer Rexford,
David Wentzlaff,
2020,
NSDI.
David Walker,
D. Walker,
D. Walker,
1992,
Inf. Comput..
David Walker,
Frank Pfenning,
Iliano Cervesato,
2008,
Electron. Notes Theor. Comput. Sci..
David Walker,
Jennifer Rexford,
Cole Schlesinger,
2012,
SIGCOMM '12.
Lujo Bauer,
David Walker,
Jay Ligatti,
2005,
PLDI '05.
Xin Jin,
David Walker,
Jennifer Rexford,
2015,
NSDI.
David Walker,
Dafydd Evans,
D. Evans,
2014
.
David Walker,
Robert Harper,
Yitzhak Mandelbaum,
2003,
ACM SIGPLAN Notices.
David Walker,
Jennifer Rexford,
Omid Alipourfard,
2014,
HotSDN.
David Walker,
Nate Foster,
Rob Harrison,
2012,
POPL '12.
David Walker,
Steve W. Otto,
D. Walker,
2008
.
David Walker,
D. Walker,
2000,
POPL '00.
David Walker,
Peter Arbenz,
Rolf Hempel,
2004,
Euro-Par.
David Walker,
Steve Zdancewic,
Jay Ligatti,
2003,
ICFP '03.
Ratul Mahajan,
Ryan Beckett,
David Walker,
2017,
SIGCOMM.
David Walker,
Limin Jia,
Amal Ahmed,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
David Walker,
Guoyu Yu,
Hongyu Li,
2011
.
David Walker,
Trevor Jim,
Yitzhak Mandelbaum,
2010,
POPL '10.
David Walker,
Jennifer Rexford,
Srinivas Narayana,
2014,
HotSDN.
David Walker,
David I. August,
Lester W. Mackey,
2006,
ICFP '06.
David Walker,
Kevin Watkins,
D. Walker,
2001,
ICFP '01.
David Walker,
Xinming Ou,
Gang Tan,
2004
.
David Walker,
Peter-Michael Osera,
Steve Zdancewic,
2016,
POPL.
David Walker,
Perry Schoon,
Cynthia L. Wilson,
2006
.
Sharad Malik,
Ryan Beckett,
David Walker,
2014,
HotSDN.
David Walker,
Limin Jia,
Kenny Q. Zhu,
2009,
PPDP '09.
David Walker,
J. Gregory Morrisett,
D. Walker,
2000,
Types in Compilation.
David Walker,
Paola Quaglia,
P. Quaglia,
2000,
FoSSaCS.
David Walker,
2016,
POPL.
Jack Dongarra,
David Walker,
Roldan Pozo,
1995
.
David Walker,
D. Brett Ridgely,
1995,
Proceedings of 1995 American Control Conference - ACC'95.
David Walker,
Xinxin Liu,
David Walker,
1998,
Theor. Comput. Sci..
David Walker,
Percy Lormand,
Dan Daulton,
2008
.
David Walker,
D. Walker,
1991,
TACS.
Ratul Mahajan,
Ryan Beckett,
David Walker,
2018,
SIGCOMM.
David Walker,
Mary F. Fernández,
Kathleen Fisher,
2006,
PLAN-X.
Lujo Bauer,
David Walker,
Jay Ligatti,
2009,
TSEM.
David Walker,
Limin Jia,
D. Walker,
2006,
ESOP.
David Walker,
Jennifer Rexford,
Mina Tahmasbi Arashloo,
2016,
NSDI.
Martin Styner,
Hongtu Zhu,
David Walker,
2011,
Comput. Medical Imaging Graph..
Lujo Bauer,
David Walker,
Jay Ligatti,
2009,
TSEC.
David Walker,
Edward W. Felten,
Paul Messina,
1990,
Concurr. Pract. Exp..
Ratul Mahajan,
Ryan Beckett,
David Walker,
2019,
CAV.
David Walker,
Kenny Q. Zhu,
Kathleen Fisher,
2008,
SIGMOD Conference.
David Walker,
Frank Pfenning,
Iliano Cervesato,
2003
.
David Walker,
David W. Johnston,
Maggie D. T Riska,
2012
.
David Walker,
1988
.
Jack Dongarra,
David Walker,
Roldan Pozo,
1993,
Proceedings of Scalable Parallel Libraries Conference.
David Walker,
Henry Rolka,
Jean C. O'Connor,
2008,
BioSecure.
David Walker,
Nate Foster,
Kenny Q. Zhu,
2011,
ICFP '11.
David Walker,
Paola Quaglia,
P. Quaglia,
2005,
Inf. Comput..
David Walker,
Dejana Jakovljević,
Dragan Savić,
2015,
Water research.
David Walker,
Anna Philippou,
1996,
CSL.
David Walker,
2019
.
David Walker,
Zhenming Liu,
Jennifer Rexford,
2013,
CoNEXT.
Ryan Hughes,
David Walker,
2009
.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2012
.
David Walker,
Jennifer Rexford,
Mina Tahmasbi Arashloo,
2015,
SIGCOMM.
Robin Milner,
David Walker,
Joachim Parrow,
1992,
Inf. Comput..
Andrew W. Appel,
David Walker,
Christian J. Bell,
2010,
SAS.
David Walker,
Kenny Q. Zhu,
Kathleen Fisher,
2012,
PADL.
David Walker,
Steve Zdancewic,
Jay Ligatti,
2003,
ACM SIGPLAN Notices.
David Walker,
Jennifer Rexford,
Nate Foster,
2013,
NSDI.
Jack Dongarra,
David Walker,
1993
.
David Walker,
Anna Philippou,
1997,
CONCUR.
Geoffrey C. Fox,
David Walker,
Michael W. Berry,
1989,
Int. J. High Perform. Comput. Appl..
David Walker,
Jianping Jiang,
David Zinman,
2004,
RFC.
David Walker,
Xuan Zheng,
Robert Gruber,
2006,
SIGMOD Conference.
David Walker,
Anna Philippou,
1996,
CONCUR.
George Varghese,
Glen Gibb,
Nick McKeown,
2013,
CCRV.
Geoffrey C. Fox,
David Walker,
1988
.
David Walker,
Daniel S. Dantas,
2003
.
David Walker,
Stephanie Weirich,
Geoffrey Washburn,
2008,
TOPL.
David Walker,
Kathleen Fisher,
D. Walker,
2011,
ICDT '11.
David Walker,
Kenny Q. Zhu,
Qian Xi,
2009,
PADL.
David Walker,
Ewa Deelman,
2007,
Sci. Program..
David Walker,
Benjamin C. Pierce,
Steve Zdancewic,
2019,
Proc. ACM Program. Lang..
David Walker,
2008
.
David Walker,
Karl Crary,
Neal Glew,
1997
.
David Walker,
Jennifer Rexford,
Naga Praveen Katta,
2013,
HotSDN '13.
David Walker,
2007
.
David Walker,
Colin Stirling,
C. Stirling,
1991,
Theor. Comput. Sci..
Dan Grossman,
David Walker,
Stephanie Weirich,
1999
.
David Walker,
J. Gregory Morrisett,
Frederick Smith,
2000,
ESOP.
David Walker,
R Tait,
2004
.
David Walker,
Benjamin C. Pierce,
Steve Zdancewic,
2018,
Proc. ACM Program. Lang..
David Walker,
Brandon Dudley,
2017
.
Lujo Bauer,
David Walker,
Jay Ligatti,
2002,
ISSS.
David Walker,
Kevin M. Betts,
Michael Turbe,
2009
.
Lujo Bauer,
David Walker,
Jay Ligatti,
2004
.
David Walker,
Anne McMahon,
Penny Collings,
1994,
CHI '94.
David Walker,
1994,
CONCUR.
Geoffrey C. Fox,
David Walker,
G. R. Montry,
1986
.
Ratul Mahajan,
Todd D. Millstein,
Ryan Beckett,
2017,
PLDI.
David Walker,
D. Brett Ridgely,
D. Ridgely,
1994
.
David Walker,
2008
.
David Walker,
1994,
ESOP.
David Walker,
Alan L. Jennings,
David Liu,
2016
.
David Walker,
Jennifer Rexford,
Nate Foster,
2013,
login Usenix Mag..
David Walker,
Karl Crary,
J. Gregory Morrisett,
1998,
Journal of Functional Programming.
David Walker,
Stephanie Weirich,
Geoffrey Washburn,
2005,
ICFP '05.
David Walker,
Jami Kovach,
Luis De la Torre,
2008
.
David Walker,
D. Walker,
2014
.
David Walker,
Gary Davies,
Paul Rees,
2014
.
David Walker,
Jennifer Rexford,
Nate Foster,
2011,
HotNets-X.
Davide Sangiorgi,
David Walker,
D. Walker,
2001
.
David Walker,
Frances Perry,
2008,
SAS.
David Walker,
Jennifer Rexford,
Cole Schlesinger,
2014,
SoCC.
David Walker,
Cole Schlesinger,
Michael Greenberg,
2014,
ICFP 2014.
David Walker,
Limin Jia,
Frances Perry,
2006,
GPCE '06.
Robin Milner,
David Walker,
Joachim Parrow,
1991,
Theor. Comput. Sci..
David Walker,
William F. McColl,
1998,
Euro-Par.
David Walker,
Xinxin Liu,
David Walker,
1995,
CONCUR.
David Walker,
Robert Harper,
Yitzhak Mandelbaum,
2003,
ICFP '03.
David Walker,
T. Ashley,
L. Buckle,
2009,
Microelectron. J..
David Walker,
Colin Stirling,
1990
.
Mario Piattini,
Coral Calero,
David Walker,
2006,
ICSOFT.
David Walker,
Nikhil Swamy,
Cole Schlesinger,
2011,
CSF.
David Walker,
R Tait,
David R. F. Walker,
2004
.
Robin Milner,
David Walker,
Joachim Parrow,
1992,
Inf. Comput..
David Walker,
Steve Zdancewic,
Jay Ligatti,
2006,
Sci. Comput. Program..
Lujo Bauer,
David Walker,
Jarred Adam Ligatti,
2003
.
David Walker,
D. Walker,
2002,
International Conference on Computers in Education, 2002. Proceedings..
David Walker,
Xinxin Liu,
Xinxin Liu,
2000,
Proof, Language, and Interaction.
Ryan Hughes,
David Walker,
Patrick A. Tobbe,
2009
.
David Walker,
Jarred Adam Ligatti,
2006
.
David Walker,
Xinming Ou,
Gang Tan,
2004,
IFIP TCS.
Feng Liu,
Yun Zhang,
David Walker,
2011,
2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC).
David Walker,
Liaquat Hossain,
Simon Reay Atkinson,
2012,
2012 International Conference on Cyber Security.
David Walker,
Liaquat Hossain,
Simon Reay Atkinson,
2012,
2012 International Conference on Social Informatics.
David Walker,
William Roberts,
Shayan Farahvash,
2007,
2007 IEEE International Symposium on Circuits and Systems.
David Walker,
Limin Jia,
D. Walker,
2004,
ESOP.
Ugo Montanari,
David Walker,
Corrado Priami,
2006
.
David Walker,
Amal Ahmed,
D. Walker,
2003,
TLDI '03.
David Walker,
Greg Morrisett,
D. Walker,
2000
.
David Walker,
Michael Greenberg,
Kathleen Fisher,
2015,
SNAPL.
David Walker,
Alan L. Jennings,
David Liu,
2017
.
Lujo Bauer,
David Walker,
Jay Ligatti,
2005,
International Journal of Information Security.
David Walker,
Yitzhak Mandelbaum,
D. Walker,
2006
.
David Walker,
Liming Chen,
Chengsheng Pan,
2017,
2017 IEEE 19th International Conference on e-Health Networking, Applications and Services (Healthcom).
David Walker,
Karl Crary,
J. Gregory Morrisett,
1999,
POPL '99.
Lujo Bauer,
David Walker,
Jay Ligatti,
2007
.
David Walker,
Frank Pfenning,
Iliano Cervesato,
2004
.
David Walker,
Karl Crary,
Neal Glew,
2002,
J. Funct. Program..
David Walker,
Jennifer Rexford,
Omid Alipourfard,
2016,
SOSR.
Davide Sangiorgi,
David Walker,
D. Sangiorgi,
2001,
CONCUR.
David Walker,
David Walker,
1980
.
Xin Jin,
David Walker,
Jennifer Rexford,
2014,
HotSDN.
David Walker,
Jennifer Rexford,
Joshua Reich,
2012,
SIGCOMM '12.
David Walker,
Anna Philippou,
1995,
CONCUR.
David Walker,
R Tait,
David R. F. Walker,
2000
.
David Walker,
Anna Philippou,
A. Philippou,
1996,
Theor. Comput. Sci..
Lujo Bauer,
David Walker,
Jay Ligatti,
2005,
ESORICS.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2013,
IEEE Communications Magazine.
David Walker,
Anna Philippou,
2001,
J. Comput. Syst. Sci..
David Walker,
Guoyu Yu,
Hongyu Li,
2011
.
David Walker,
David I. August,
Lester W. Mackey,
2007,
PLDI '07.
Kent McClymont,
David Walker,
Max Dupenois,
2012,
GECCO '12.
David Walker,
1960
.
David Walker,
Xinxin Liu,
David Walker,
1995,
TAPSOFT.
David Walker,
A. Aroussi,
L. Howden,
2006
.
David Walker,
Jean-Francois Mule,
Kevin Lingle,
2007,
RFC.
Kuo-Feng Hsu,
Ryan Beckett,
David Walker,
2019,
NSDI.
Minlan Yu,
David Walker,
Michael J. Freedman,
2014,
Journal of Network and Systems Management.
Dan Grossman,
David Walker,
Yannis Smaragdakis,
2010,
SIGP.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2010,
PRESTO '10.
David Walker,
Paola Quaglia,
1998,
FSTTCS.
Robin Milner,
David Walker,
Joachim Parrow,
1991,
CONCUR.
Robert Grimm,
David Walker,
Yvonne Coady,
2005,
HotOS.
Ryan Beckett,
David Walker,
Michael Greenberg,
2016,
PLDI.
David Walker,
Frances Perry,
D. Walker,
2008
.
David Walker,
Penny Collings,
1995,
CSCL.
David Walker,
A. Aroussi,
L. Howden,
2006
.
Ratul Mahajan,
Todd D. Millstein,
Ryan Beckett,
2016,
SIGCOMM.
Jack Dongarra,
David Walker,
J. Dongarra,
1995
.
David Walker,
Colin Stirling,
C. Stirling,
1991,
Theoretical Computer Science.
David Walker,
Karl Crary,
J. Gregory Morrisett,
2003,
Journal of Functional Programming.
David Walker,
Vincenzo Pallotta,
Rodolfo Delmonte,
2011,
DART@AI*IA.
David Walker,
Limin Jia,
Neal Glew,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Shuvendu K. Lahiri,
David Walker,
Shaz Qadeer,
2011,
PLPV '11.
David Walker,
Jennifer Rexford,
Anirudh Sivaraman,
2016,
HotNets.
David Walker,
Kenny Q. Zhu,
Kathleen Fisher,
2010,
OPSR.
David Walker,
1989,
Concurrency: Theory, Language, And Architecture.
David Walker,
Peter White,
Kenny Q. Zhu,
2008,
POPL '08.
David Walker,
Mary F. Fernández,
Kathleen Fisher,
2007,
POPL '07.
Ratul Mahajan,
Ryan Beckett,
David Walker,
2021,
SIGCOMM.
David Walker,
Jennifer Rexford,
John Sonchack,
2021,
SIGCOMM.
David Walker,
Nick Giannarakis,
Alexandra Silva,
2021,
Proc. ACM Program. Lang..
Robert Grimm,
David Walker,
Yvonne Coady,
2006
.
David Walker,
Cole Schlesinger,
Karthik Pattabiraman,
2010
.
David Walker,
Jennifer Rexford,
Anirudh Sivaraman,
2016
.
David Walker,
Stephanie Weirich,
Geoffrey Washburn,
2004
.
Lujo Bauer,
David Walker,
Jarred Adam Ligatti,
2002
.