Nate Foster
发表
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2013,
IEEE Communications Magazine.
B. Pierce,
Nate Foster,
M. Greenwald,
2004
.
Nate Foster,
Robert Soulé,
Ion Stoica,
2017,
SOSP.
Val Tannen,
Todd J. Green,
Nate Foster,
2008,
PODS.
Xiaozhou Li,
Xin Jin,
Robert Soulé,
2018,
NSDI.
M. Casado,
Nate Foster,
Arjun Guha,
2014,
Commun. ACM.
Arjun Guha,
Nate Foster,
Mark Reitblatt,
2013,
PLDI.
J. Rexford,
L. Peterson,
Nate Foster,
2020
.
Justin Hsu,
Nate Foster,
S. Smolka,
2019
.
Jeongkeun Lee,
R. Soulé,
Changhoon Kim,
2019
.
Nate Foster,
Richard Zhang,
Kathleen Fisher,
2016,
OOPSLA 2016.
Nate Foster,
Kathleen Fisher,
Jonathan DiLorenzo,
2019
.
G. Morrisett,
Nate Foster,
J. G. Morrisett,
2022,
PLDI.
Michael J. Freedman,
Jennifer Rexford,
Nate Foster,
2011,
ICFP.
Jean-Baptiste Jeannin,
Cole Schlesinger,
Nate Foster,
2014,
POPL.
Nate Foster,
Rob Harrison,
Christopher Monsanto,
2012,
POPL '12.
Fernando M. V. Ramos,
Theophilus A. Benson,
Justine Sherry,
2019
.
Nate Foster,
Fernando M. V. Ramos,
Justine Sherry,
2019,
Dagstuhl Reports.
D. Kozen,
Nate Foster,
Alexandra Silva,
2022,
ESOP.
J. Gehrke,
Nate Foster,
Sudip Roy,
2014,
ArXiv.
F. Schneider,
Nate Foster,
Yunhe Liu,
2022,
EuroP4@CoNEXT.
Jake Silverman,
Nate Foster,
Haoxian Chen,
2016,
SOSR.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2011,
ICFP.
Alexandra Silva,
Praveen Kumar,
Nate Foster,
2016,
POPL.
Alexandra Silva,
Nate Foster,
Dexter Kozen,
2016,
ESOP.
David Walker,
Nate Foster,
Rob Harrison,
2012,
POPL '12.
Justin Hsu,
Nate Foster,
Dexter Kozen,
2019,
Proc. ACM Program. Lang..
Robert Soulé,
Yang Yuan,
Praveen Kumar,
2018,
NSDI.
Rob Sherwood,
Nate Foster,
Anirudh Sivaraman,
2022,
ArXiv.
Nate Foster,
Praveen Kumar,
Amin Vahdat,
2019,
SIGCOMM.
Arjun Guha,
Nate Foster,
Steffen Smolka,
2015,
ICFP.
Nate Foster,
Jean-Baptiste Jeannin,
Arjun Guha,
2014,
POPL.
D. Kozen,
Nate Foster,
A. Mohan,
2022,
ArXiv.
Ruzica Piskac,
Robert Soulé,
Nate Foster,
2021,
NSDI.
Nick McKeown,
Robert Soulé,
Han Wang,
2018,
SIGCOMM.
Robert Soulé,
Antonio Carzaniga,
Nate Foster,
2020,
IEEE/ACM Transactions on Networking.
David Walker,
Jennifer Rexford,
Cole Schlesinger,
2012,
SIGCOMM '12.
David Walker,
Jennifer Rexford,
Nate Foster,
2013,
NSDI.
Nate Foster,
Nick McKeown,
Jennifer Rexford,
2020,
Comput. Commun. Rev..
Ralf Lämmel,
Krzysztof Czarnecki,
Andy Schürr,
2009,
ICMT@TOOLS.
James Grimmelmann,
Nate Foster,
Shrutarshi Basu,
2019,
Onward!.
Nate Foster,
Praveen Kumar,
Ryan Doenges,
2020,
SIGCOMM.
Shrutarshi Basu,
Nate Foster,
Emin Gün Sirer,
2013
.
Robert Soulé,
Kenneth P. Birman,
Nate Foster,
2014,
ECOOP.
Nate Foster,
Jedidiah McClurg,
Pavol Černý,
2014,
PLDI.
Margo I. Seltzer,
James Cheney,
Stijn Vansummeren,
2009,
OOPSLA Companion.
Robert Soulé,
Nate Foster,
Jeongkeun Lee,
2019,
SOSR.
Robert Soulé,
Antonio Carzaniga,
Nate Foster,
2018,
SOSR.
Benjamin C. Pierce,
Nate Foster,
Alan Schmitt,
2008,
POPL '08.
Johannes Gehrke,
Andrew C. Myers,
Nate Foster,
2019,
EuroSys.
Fernando Pedone,
Shrutarshi Basu,
Nate Foster,
2018,
IEEE/ACM Transactions on Networking.
Robert Soulé,
Yang Yuan,
Praveen Kumar,
2016,
ArXiv.
Deborah Estrin,
Nate Foster,
Fred B. Schneider,
2019,
WPES@CCS.
Cole Schlesinger,
Nate Foster,
Alec Story,
2012,
HotSDN '12.
Fernando Pedone,
Emin Gün Sirer,
Robert Soulé,
2014,
CoNEXT.
Robert Soulé,
Yang Yuan,
Praveen Kumar,
2018,
SOSR.
Benjamin C. Pierce,
Nate Foster,
Alan Schmitt,
2005,
POPL '05.
Rob Sherwood,
Nate Foster,
Anirudh Sivaraman,
2022,
ArXiv.
D. Kozen,
Nate Foster,
Alexandra Silva,
2022,
ESOP.
Nate Foster,
David Darais,
Minseok Kwon,
2019,
CCS.
Alexandra Silva,
Justin Hsu,
Praveen Kumar,
2019,
PLDI.
William T. Hallahan,
Jeongkeun Lee,
N. McKeown,
2018,
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication.
Alexandra Silva,
Praveen Kumar,
Nate Foster,
2017,
ArXiv.
Nate Foster,
Justin Hsu,
Praveen Kumar,
2017
.
Alexandra Silva,
Praveen Kumar,
Nate Foster,
2016,
ArXiv.
Alexandra Silva,
Laure Thompson,
Nate Foster,
2015,
POPL.
Martín Casado,
Arjun Guha,
Nate Foster,
2014,
Commun. ACM.
Arjun Guha,
Cole Schlesinger,
Nate Foster,
2013,
2013 Formal Methods in Computer-Aided Design.
David Walker,
Jennifer Rexford,
Nate Foster,
2011,
HotNets-X.
Marco Canini,
Arjun Guha,
Nate Foster,
2013,
HotSDN '13.
David Walker,
Jennifer Rexford,
Nate Foster,
2013,
login Usenix Mag..
Pavol Cerný,
Philipp Rümmer,
Nate Foster,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Pavol Cerný,
Nate Foster,
Hossein Hojjat,
2015,
PLDI.
Ryan Doenges,
Nate Foster,
Alexander Chang,
2020,
Proc. ACM Program. Lang..
Pavol Cerný,
Nate Foster,
Todd Warszawski,
2014,
SYNT.
Pavol Cerný,
Nate Foster,
Nilesh Jagnik,
2016,
DISC.
Huynh Tu Dang,
Robert Soulé,
Hakim Weatherspoon,
2017,
SOSR.
Mira Mezini,
Nate Foster,
Guido Salvaneschi,
2019,
ECOOP.
Michael Hicks,
Jeffrey S. Foster,
Nate Foster,
2012,
VSTTE.
Amin Vahdat,
Nate Foster,
Nandita Dukkipati,
2019,
Proceedings of the ACM Special Interest Group on Data Communication.
Kenneth P. Birman,
Nate Foster,
Lonnie Princehouse,
2013
.
B. Pierce,
Nate Foster,
Alan Schmitt,
2007,
PLAN-X.
Johannes Gehrke,
Nate Foster,
Christoph Koch,
2014,
SIGMOD Conference.
J. Rexford,
D. Walker,
Nate Foster,
2022
.
Benjamin C. Pierce,
Nate Foster,
Steve Zdancewic,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
Benjamin C. Pierce,
Nate Foster,
Michael Greenberg,
2010,
ICFP '10.
Ravi B. Konuru,
Nate Foster,
Jérôme Siméon,
2008,
PLAN-X.
Benjamin C. Pierce,
Nate Foster,
Alexandre Pilkiewicz,
2008,
ICFP.
Kazutaka Matsuda,
Nate Foster,
Janis Voigtländer,
2010,
SSGIP.
Paparao Palacharla,
Xi Wang,
Shrutarshi Basu,
2017,
2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS).
Laurent Vanbever,
Arjun Guha,
Nate Foster,
2016,
SOSR.
Laurent Vanbever,
Arjun Guha,
Nate Foster,
2015,
ArXiv.
Emin Gün Sirer,
Robert Soulé,
Shrutarshi Basu,
2013,
HotNets.
Pavol Cerný,
Nate Foster,
Hossein Hojjat,
2015,
ArXiv.