Nate Foster
发表
Idelfonso Tafur Monroy,
Paparao Palacharla,
Tadashi Ikeuchi,
2017,
2017 Optical Fiber Communications Conference and Exhibition (OFC).
Xiaozhou Li,
Xin Jin,
Robert Soulé,
2018,
NSDI.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2011,
ICFP.
Pavol Cerný,
Nate Foster,
Nilesh Jagnik,
2016,
DISC.
Nick McKeown,
Robert Soulé,
Han Wang,
2018,
SIGCOMM.
Alexandra Silva,
Laure Thompson,
Nate Foster,
2015,
POPL.
James Cheney,
Nate Foster,
Sam Lindley,
2012
.
Fernando Pedone,
Shrutarshi Basu,
Nate Foster,
2018,
IEEE/ACM Transactions on Networking.
David Walker,
Jennifer Rexford,
Cole Schlesinger,
2012,
SIGCOMM '12.
Arjun Guha,
Nate Foster,
Mark Reitblatt,
2013,
PLDI.
Robert Soulé,
Antonio Carzaniga,
Nate Foster,
2020,
IEEE/ACM Transactions on Networking.
Nate Foster,
Jedidiah McClurg,
Hossein Hojjat,
2015
.
David Walker,
Nate Foster,
Rob Harrison,
2012,
POPL '12.
Mira Mezini,
Nate Foster,
Guido Salvaneschi,
2019,
ECOOP.
James Cheney,
Nate Foster,
Sam Lindley,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Rob Sherwood,
Nate Foster,
2013,
HotSDN.
Laurent Vanbever,
Arjun Guha,
Nate Foster,
2016,
SOSR.
Jake Silverman,
Nate Foster,
Haoxian Chen,
2016,
SOSR.
Kim B. Bruce,
Nate Foster,
2004,
ECOOP.
Xiaozhou Li,
Xin Jin,
Robert Soulé,
2018,
ArXiv.
Marco Canini,
Arjun Guha,
Nate Foster,
2013,
HotSDN '13.
Ralf Lämmel,
Krzysztof Czarnecki,
Andy Schürr,
2009,
ICMT@TOOLS.
Alexandra Silva,
Justin Hsu,
Praveen Kumar,
2019,
PLDI.
Robert Soulé,
Nate Foster,
Jeongkeun Lee,
2019,
SOSR.
Robert Soulé,
Yang Yuan,
Praveen Kumar,
2016,
ArXiv.
David Walker,
Nate Foster,
Kenny Q. Zhu,
2011,
ICFP '11.
Kenneth P. Birman,
Nate Foster,
Lonnie Princehouse,
2013
.
Benjamin C. Pierce,
Nate Foster,
Alan Schmitt,
2008,
POPL '08.
Paparao Palacharla,
Xi Wang,
Shrutarshi Basu,
2017,
2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS).
Laurent Vanbever,
Jennifer Rexford,
Theophilus Benson,
2013,
HotSDN '13.
Pavol Cerný,
Nate Foster,
Hossein Hojjat,
2015,
PLDI.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2012
.
Ravi B. Konuru,
Nate Foster,
Jérôme Siméon,
2008,
PLAN-X.
David Walker,
Jennifer Rexford,
Nate Foster,
2013,
NSDI.
Laurent Vanbever,
Arjun Guha,
Nate Foster,
2015,
ArXiv.
Nate Foster,
Dimitrios Vytiniotis,
2006,
Arch. Formal Proofs.
Arjun Guha,
Nate Foster,
Steffen Smolka,
2015,
ICFP.
Robert Soulé,
Yang Yuan,
Praveen Kumar,
2018,
NSDI.
Alexandra Silva,
Nate Foster,
Dexter Kozen,
2016,
ESOP.
Nate Foster,
2017,
STOC.
Johannes Gehrke,
Andrew C. Myers,
Nate Foster,
2019,
EuroSys.
Pavol Cerný,
Nate Foster,
Todd Warszawski,
2014,
SYNT.
David Walker,
Jennifer Rexford,
Nate Foster,
2013,
login Usenix Mag..
Huynh Tu Dang,
Robert Soulé,
Hakim Weatherspoon,
2017,
SOSR.
Benjamin C. Pierce,
Christian Kirkegaard,
Nate Foster,
2005,
DBPL.
David Walker,
Jennifer Rexford,
Nate Foster,
2011,
HotNets-X.
Margo I. Seltzer,
James Cheney,
Stijn Vansummeren,
2009,
OOPSLA Companion.
Kazutaka Matsuda,
Nate Foster,
Janis Voigtländer,
2010,
SSGIP.
Alexandra Silva,
Praveen Kumar,
Nate Foster,
2016,
POPL.
Robert Soulé,
Antonio Carzaniga,
Nate Foster,
2018,
HotNets.
Benjamin C. Pierce,
Nate Foster,
Michael Greenberg,
2010,
ICFP '10.
Johannes Gehrke,
Nate Foster,
Christoph Koch,
2014,
SIGMOD Conference.
Nate Foster,
2018
.
Cole Schlesinger,
Nate Foster,
Alec Story,
2012,
HotSDN '12.
Arjun Guha,
Cole Schlesinger,
Nate Foster,
2013,
2013 Formal Methods in Computer-Aided Design.
Robert Soulé,
Yang Yuan,
Praveen Kumar,
2018,
ANRW.
Val Tannen,
Todd J. Green,
Nate Foster,
2008,
PODS.
Martín Casado,
Arjun Guha,
Nate Foster,
2014,
Commun. ACM.
Fernando Pedone,
Emin Gün Sirer,
Robert Soulé,
2014,
CoNEXT.
Nate Foster,
Gregory Karvounarakis,
2007,
IEEE Data Eng. Bull..
Robert Soulé,
Yang Yuan,
Praveen Kumar,
2018,
SOSR.
Alexandra Silva,
Praveen Kumar,
Nate Foster,
2017,
ArXiv.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2013,
IEEE Communications Magazine.
Nate Foster,
Mary F. Fernández,
Michael Greenberg,
2008,
PADL.
Nate Foster,
2018,
PLAS@CCS.
Paparao Palacharla,
Xi Wang,
Nate Foster,
2015,
2015 IEEE Conference on Network Function Virtualization and Software Defined Network (NFV-SDN).
Justin Hsu,
Nate Foster,
Dexter Kozen,
2019,
Proc. ACM Program. Lang..
Nate Foster,
Richard Zhang,
Kathleen Fisher,
2016,
OOPSLA 2016.
Alexandra Silva,
Praveen Kumar,
Nate Foster,
2016,
ArXiv.
Robert Soulé,
Antonio Carzaniga,
Nate Foster,
2018,
SOSR.
Robert Soulé,
Kenneth P. Birman,
Nate Foster,
2014,
ECOOP.
Arjun Guha,
Nate Foster,
Mark Reitblatt,
2013
.
Benjamin C. Pierce,
Nate Foster,
Steve Zdancewic,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
Shrutarshi Basu,
Nate Foster,
Emin Gün Sirer,
2013
.
Arjun Guha,
Nate Foster,
Mark Reitblatt,
2013,
PLDI.
Pavol Cerný,
Nate Foster,
Hossein Hojjat,
2015,
ArXiv.
Benjamin C. Pierce,
Stephanie Weirich,
Nate Foster,
2005,
TPHOLs.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2010,
PRESTO '10.
Michael Hicks,
Jeffrey S. Foster,
Nate Foster,
2012,
VSTTE.
Pavol Cerný,
Philipp Rümmer,
Nate Foster,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Emin Gün Sirer,
Robert Soulé,
Shrutarshi Basu,
2013,
HotNets.
Nate Foster,
2015,
PLMW '15.
Benjamin C. Pierce,
Nate Foster,
Alexandre Pilkiewicz,
2008,
ICFP.
Benjamin C. Pierce,
Nate Foster,
Alan Schmitt,
2005,
POPL '05.
Jurriaan Rot,
Nate Foster,
Dexter Kozen,
2022
.
Ruzica Piskac,
Robert Soulé,
Nate Foster,
2021,
NSDI.
Michael J. Freedman,
Jennifer Rexford,
Nate Foster,
2011,
ICFP.
Nate Foster,
Rob Harrison,
Christopher Monsanto,
2012,
POPL '12.
Jean-Baptiste Jeannin,
Cole Schlesinger,
Nate Foster,
2014,
POPL.
Emin Gün Sirer,
Robert Soulé,
Shrutarshi Basu,
2014
.