researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

natefoster

Statistics

Publications: 19
Edited: 0
Credit: 95

Aliases

J. Nathan Foster
Foster
Nate Foster
Foster, J. N.
J. N. Foster
Foster, J. Nathan

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

J. Nathan Foster's Profile

Publications

Unidentified Publications

Publications with a 'J. Nathan Foster' as author, editor, or advisor:

POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update ProblemJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt. SIGPLAN, 50(8s):49-62, 2015. [doi]
A Theory of Featherweight Java in Isabelle/HOLJ. Nathan Foster, Dimitrios Vytiniotis. afp, 2006, 2006. [doi]
Optimizing horn solvers for network repairHossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster. FMCAD 2016: 73-80 [doi]
p4v: practical verification for programmable data planesJed Liu, William Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster. sigcomm 2018: 490-503 [doi]
NetChain: Scale-Free Sub-RTT CoordinationXin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica. NSDI 2018: 35-49 [doi]
Semi-Oblivious Traffic Engineering: The Road Not TakenPraveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé. NSDI 2018: 157-170 [doi]
Hydra: Effective Runtime Network VerificationSundararajan Renganathan, Benny Rubin, HyoJoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster. sigcomm 2023: 182-194 [doi]
YATES: Rapid Prototyping for Traffic Engineering SystemsPraveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé. sosr 2018: [doi]
Specifying and Verifying the Correctness of Dynamic Software UpdatesChristopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster. vstte 2012: 278-293 [doi]
Composing Dataplane Programs with μP4Hardik Soni, Myriana Rifai, Praveen Kumar 0003, Ryan Doenges, Nate Foster. sigcomm 2020: 329-343 [doi]
A compiler and run-time system for network programming languagesChristopher Monsanto, Nate Foster, Rob Harrison, David Walker. POPL 2012: 217-230 [doi]
Dependently-typed data plane programmingMatthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini. PACMPL, 6(POPL):1-28, 2022. [doi]
Optimal Consistent Network Updates in Polynomial TimePavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg. wdag 2016: 114-128 [doi]
Using deep programmability to put network owners in controlNate Foster, Nick McKeown, Jennifer Rexford, Guru M. Parulkar, Larry L. Peterson, Oguz Sunay. ccr, 50(4):82-88, 2020. [doi]
NetCache: Balancing Key-Value Stores with Fast In-Network CachingXin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica. sosp 2017: 121-136 [doi]
Modular SDN Programming with PyreticJoshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker. usenix-login, 38(5), 2013. [doi]
Merlin: A Language for Provisioning Network ResourcesRobert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert D. Kleinberg, Emin Gün Sirer, Nate Foster. conext 2014: 213-226 [doi]
Forwarding and routing with packet subscriptionsTheo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé. conext 2020: 282-294 [doi]
Proof-Carrying Network CodeChristian Skalka, John Ring, David Darias, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster. ccs 2019: 1115-1129 [doi]
P4Cub: A Little Language for Big RoutersRudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster. CPP 2023: 303-319 [doi]
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program AnalysisSudip Roy 0002, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke. SIGMOD 2015: 1311-1326 [doi]
Composing Software Defined NetworksChristopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker. NSDI 2013: 1-13 [doi]
You and your graduate researchNate Foster. POPL 2015: 2 [doi]
Frenetic: a network programming languageNate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker. ICFP 2011: 279-291 [doi]
A Coalgebraic Decision Procedure for NetKATNate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva 0001, Laure Thompson. POPL 2015: 343-355 [doi]
Avenir: Managing Data Plane Diversity with Control Plane SynthesisEric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster. NSDI 2021: 133-153 [doi]
Abstractions for network updateMark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker. sigcomm 2012: 323-334 [doi]
Petr4: formal foundations for p4 data planesRyan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster. PACMPL, 5(POPL):1-32, 2021. [doi]
Safe and Flexible Controller Upgrades for SDNsKarla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks. sosr 2016: 8 [doi]
Lenses for Web DataRaghu Rajkumar, Nate Foster, Sam Lindley, James Cheney. eceasst, 57, 2013. [doi]
FatTire: declarative fault tolerance for software-defined networksMark Reitblatt, Marco Canini, Arjun Guha, Nate Foster. sigcomm 2013: 109-114 [doi]
Network Verification: Successes, Challenges, and OpportunitiesNate Foster. ccs 2018: 41 [doi]
Event-driven network programmingJedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný. PLDI 2016: 369-385 [doi]
Fast String Searching on PISATheo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, Robert Soulé. sosr 2019: 21-28 [doi]
Leapfrog: certified equivalence for protocol parsersRyan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett. PLDI 2022: 950-965 [doi]
Cantor meets scott: semantic foundations for probabilistic networksSteffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva 0001. POPL 2017: 557-571 [doi]
Splendid isolation: a slice abstraction for software-defined networksStephen Gutz, Alec Story, Cole Schlesinger, Nate Foster. sigcomm 2012: 79-84 [doi]
Merlin: A Language for Managing Network ResourcesRobert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster. ton, 26(5):2188-2201, 2018. [doi]
Frenetic: a high-level language for OpenFlow networksNate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker. conext 2010: [doi]
Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4)Nate Foster, Motoyoshi Sekiya. shonan-reports, 2018, 2018. [doi]
Automata Learning with an Incomplete Teacher (Artifact)Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva 0001. darts, 9(2), 2023. [doi]
Efficient, Consistent Distributed Computation with Predictive TreatiesTom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers. eurosys 2019: [doi]
Automata Learning with an Incomplete TeacherMark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva 0001. ECOOP 2023: [doi]
A fast compiler for NetKATSteffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha. ICFP 2015: 328-341 [doi]
Semi-Oblivious Traffic Engineering with SMOREPraveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé. anrw 2018: 21 [doi]
Managing the network with MerlinRobert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, Nate Foster. hotnets 2013: 24 [doi]
Tutorial: Practical verification of network programsNate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger. FMCAD 2013: 9-10 [doi]
PicNIC: predictable virtualized NICPraveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve Gribble, Nate Foster, Amin Vahdat. sigcomm 2019: 351-366 [doi]
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4Matthias Eichholz, Eric Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini. ECOOP 2019: [doi]
SPN OS: Managing network services with virtual network objectsXi Wang, Cong Chen, Paparao Palacharla, Motoyoshi Sekiya, Steffen Smolka, Nate Foster. nfvsdn 2015: 149-155 [doi]
Programmable Network Data Planes (Dagstuhl Seminar 19141)Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, Justine Sherry. dagstuhl-reports, 9(3):178-201, 2019. [doi]
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN 2013, The Chinese University of Hong Kong, Hong Kong, China, Friday, August 16, 2013Nate Foster, Rob Sherwood, editors, ACM, 2013. [doi]
Probabilistic NetKATNate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva 0001. ESOP 2016: 282-309 [doi]
Packet Subscriptions for Programmable ASICsTheo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé. hotnets 2018: 176-183 [doi]
Incremental forest: a DSL for efficiently managing filestoresJonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster. OOPSLA 2016: 252-271 [doi]
HotSwap: correct and efficient controller upgrades for software-defined networksLaurent Vanbever, Joshua Reich, Theophilus Benson, Nate Foster, Jennifer Rexford. sigcomm 2013: 133-138 [doi]
Machine-verified network controllersArjun Guha, Mark Reitblatt, Nate Foster. PLDI 2013: 483-494 [doi]
P4FPGA: A Rapid Prototyping Framework for P4Han Wang, Robert Soulé, Huynh Tu Dang, Ki-Suh Lee, Vishal Shrivastav, Nate Foster, Hakim Weatherspoon. sosr 2017: 122-135 [doi]
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networksJana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva 0001. ESOP 2022: 575-602 [doi]
Life on the Edge: Unraveling Policies into ConfigurationsShrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang 0001. ancs 2017: 178-190 [doi]
MiCA: A Compositional Architecture for Gossip ProtocolsLonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé. ECOOP 2014: 644-669 [doi]
The next 700 network programming languages (invited talk)Nate Foster. stoc 2017: 7 [doi]
Formal Foundations for Networking (Dagstuhl Seminar 15071)Nikolaj Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave. dagstuhl-reports, 5(2):44-63, 2015. [doi]
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear timeSteffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva 0001. PACMPL, 4(POPL), 2020. [doi]
Software-programmed optical networking with integrated NFV service provisioningVictor Dantas Mehmeri, Xi Wang, Shrutarshi Basu, Qiong Zhang, Paparao Palacharla, Tadashi Ikeuchi, Idelfonso Tafur Monroy, Juan Jose Vegas Olmos, Nate Foster. ofc 2017: 1-2 [doi]
NetkAT: semantic foundations for networksCarolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker. POPL 2014: 113-126 [doi]
Formal Abstractions for Packet SchedulingAnshuman Mohan, Yunhe Liu 0002, Nate Foster, Tobias Kappé, Dexter Kozen. PACMPL, 7(OOPSLA2):1338-1362, October 2023. [doi]
Forwarding and Routing With Packet SubscriptionsTheo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé. ton, 30(6):2464-2479, 2022. [doi]
Scalable verification of probabilistic networksSteffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva 0001. PLDI 2019: 190-203 [doi]
Abstractions for software-defined networksMartin Casado, Nate Foster, Arjun Guha. CACM, 57(10):86-95, 2014. [doi]
Languages for software-defined networksNate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison. cm, 51(2):128-134, 2013. [doi]
Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based PrivacyEugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah Estrin. wpes 2019: 111-124 [doi]
Felix: Implementing Traffic Measurement on End Hosts Using Program AnalysisHaoxian Chen, Nate Foster, Jake Silverman, Michael Whittaker, Brandon Zhang, Rene Zhang. sosr 2016: 14 [doi]
P4Testgen: An Extensible Test Oracle For P4-16Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster. sigcomm 2023: 136-151 [doi]
Life in the Fast Lane: A Line-Rate Linear RoadTheo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé. sosr 2018: [doi]
TxForest: A DSL for Concurrent FilestoresJonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster. aplas 2019: 332-354 [doi]
Forest: a language and toolkit for programming with filestoresKathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu. ICFP 2011: 292-306 [doi]
Consistent updates for software-defined networks: change you can believe in!Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker. hotnets 2011: 7 [doi]
Efficient synthesis of network updatesJedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster. PLDI 2015: 196-207 [doi]
Property conveyances as a programming languageShrutarshi Basu, Nate Foster, James Grimmelmann. OOPSLA 2019: 128-142 [doi]
Causal network telemetryYunhe Liu, Nate Foster, Fred B. Schneider. conext 2022: 46-52 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL