Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Nate Foster

J. Nathan Foster

> Home > Persons

Person information

affiliation: Cornell University, Ithaca, NY, USA
affiliation: Princeton University, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/MoellerWSKF023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/MoellerWSKF023
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva:
Automata Learning with an Incomplete Teacher (Artifact). Dagstuhl Artifacts Ser. 9(2): 21:1-21:3 (2023)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MohanLFKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MohanLFKK23
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen:
Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. 7(OOPSLA2): 1338-1362 (2023)
2022
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/EichholzCKFM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/EichholzCKFM22
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini:
Dependently-typed data plane programming. Proc. ACM Program. Lang. 6(POPL): 1-28 (2022)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/JepsenFMFCS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/JepsenFMFCS22
Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé:
Forwarding and Routing With Packet Subscriptions. IEEE/ACM Trans. Netw. 30(6): 2464-2479 (2022)
2021
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/DoengesABCNPPSX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/DoengesABCNPPSX21
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster:
Petr4: formal foundations for p4 data planes. Proc. ACM Program. Lang. 5(POPL): 1-32 (2021)
2020
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ccr/FosterMRPPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ccr/FosterMRPPS20
Nate Foster, Nick McKeown, Jennifer Rexford, Guru M. Parulkar, Larry L. Peterson, M. Oguz Sunay:
Using deep programmability to put network owners in control. Comput. Commun. Rev. 50(4): 82-88 (2020)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/SmolkaFHKKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/SmolkaFHKKS20
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva:
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4(POPL): 61:1-61:28 (2020)
2018
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/SouleBMPKSF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/SouleBMPKSF18
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster:
Merlin: A Language for Managing Network Resources. IEEE/ACM Trans. Netw. 26(5): 2188-2201 (2018)
2015
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/FosterGMPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/FosterGMPS15
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt:
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem. ACM SIGPLAN Notices 50(8s): 49-62 (2015)
2014
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/CasadoFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/CasadoFG14
Martín Casado, Nate Foster, Arjun Guha:
Abstractions for software-defined networks. Commun. ACM 57(10): 86-95 (2014)
2013
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cm/FosterGRSFKMRRSWH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cm/FosterGRSFKMRRSWH13
Nate 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:
Languages for software-defined networks. IEEE Commun. Mag. 51(2): 128-134 (2013)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/RajkumarFLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/RajkumarFLC13
Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney:
Lenses for Web Data. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
[j5]
- view
  - electronic edition @ usenix.org
  - no references & citations available
- export record
  dblp key:
  - journals/usenix-login/ReichMFRW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/usenix-login/ReichMFRW13
Joshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker:
Modular SDN Programming with Pyretic. login Usenix Mag. 38(5) (2013)
2007
[j4]
- view
  - electronic edition @ computer.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/debu/FosterK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/debu/FosterK07
J. Nathan Foster, Grigoris Karvounarakis:
Provenance and Data Synchronization. IEEE Data Eng. Bull. 30(4): 13-21 (2007)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/FosterGKPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/FosterGKPS07
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt:
Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4): 669-689 (2007)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/FosterGMPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/FosterGMPS07
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt:
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3): 17 (2007)
2006
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/FosterV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/FosterV06
J. Nathan Foster, Dimitrios Vytiniotis:
A Theory of Featherweight Java in Isabelle/HOL. Arch. Formal Proofs 2006 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/PetersonCCISDAF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/PetersonCCISDAF23
Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster:
P4Cub: A Little Language for Big Routers. CPP 2023: 303-319
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/MoellerWSKF023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MoellerWSKF023
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva:
Automata Learning with an Incomplete Teacher. ECOOP 2023: 21:1-21:30
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/RuffyLKHTSDPSF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/RuffyLKHTSDPSF23
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster:
P4Testgen: An Extensible Test Oracle For P4-16. SIGCOMM 2023: 136-151
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/RenganathanRKVC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/RenganathanRKVC23
Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster:
Hydra: Effective Runtime Network Verification. SIGCOMM 2023: 182-194
2022
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/conext/LiuFS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conext/LiuFS22
Yunhe Liu, Nate Foster, Fred B. Schneider:
Causal network telemetry. EuroP4@CoNEXT 2022: 46-52
[c73]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/WagemakerFKKRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WagemakerFKKRS22
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva:
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP 2022: 575-602
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DoengesKSFM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DoengesKSFM22
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett:
Leapfrog: certified equivalence for protocol parsers. PLDI 2022: 950-965
2021
[c71]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/CampbellHSCLRHP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/CampbellHSCLRHP21
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster:
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI 2021: 133-153
2020
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/conext/JepsenFMFCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conext/JepsenFMFCS20
Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé:
Forwarding and routing with packet subscriptions. CoNEXT 2020: 282-294
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/SoniR0DF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/SoniR0DF20
Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster:
Composing Dataplane Programs with μP4. SIGCOMM 2020: 329-343
2019
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DiLorenzoMFF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DiLorenzoMFF19
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. APLAS 2019: 332-354
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SkalkaRDKGDSF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SkalkaRDKGDSF19
Christian Skalka, John Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster:
Proof-Carrying Network Code. CCS 2019: 1115-1129
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/EichholzCFSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/EichholzCFSM19
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini:
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP 2019: 12:1-12:28
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/MagrinoLFGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/MagrinoLFGM19
Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers:
Efficient, Consistent Distributed Computation with Predictive Treaties. EuroSys 2019: 36:1-36:16
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BasuFG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BasuFG19
Shrutarshi Basu, Nate Foster, James Grimmelmann:
Property conveyances as a programming language. Onward! 2019: 128-142
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SmolkaKKFHK019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SmolkaKKFHK019
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva:
Scalable verification of probabilistic networks. PLDI 2019: 190-203
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/KumarDLCWLVAGFV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/KumarDLCWLVAGFV19
Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve D. Gribble, Nate Foster, Amin Vahdat:
PicNIC: predictable virtualized NIC. SIGCOMM 2019: 351-366
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sosr/JepsenAFKLMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosr/JepsenAFKLMS19
Theo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, Robert Soulé:
Fast String Searching on PISA. SOSR 2019: 21-28
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/wpes/BagdasaryanBWBF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wpes/BagdasaryanBWBF19
Eugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah Estrin:
Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy. WPES@CCS 2019: 111-124
2018
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/anrw/KumarYYFKLLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/anrw/KumarYYFKLLS18
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé:
Semi-Oblivious Traffic Engineering with SMORE. ANRW 2018: 21
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Foster18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Foster18
Nate Foster:
Network Verification: Successes, Challenges, and Opportunities. PLAS@CCS 2018: 41
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/hotnets/JepsenMCFS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotnets/JepsenMCFS18
Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé:
Packet Subscriptions for Programmable ASICs. HotNets 2018: 176-183
[c56]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/JinLZFLSKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/JinLZFLSKS18
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica:
NetChain: Scale-Free Sub-RTT Coordination. NSDI 2018: 35-49
[c55]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/KumarYYFKLLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/KumarYYFKLLS18
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé:
Semi-Oblivious Traffic Engineering: The Road Not Taken. NSDI 2018: 157-170
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/LiuHSSLSWCMF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/LiuHSSLSWCMF18
Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster:
p4v: practical verification for programmable data planes. SIGCOMM 2018: 490-503
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sosr/JepsenMCFS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosr/JepsenMCFS18
Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé:
Life in the Fast Lane: A Line-Rate Linear Road. SOSR 2018: 10:1-10:7
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/sosr/KumarYYFKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosr/KumarYYFKS18
Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé:
YATES: Rapid Prototyping for Traffic Engineering Systems. SOSR 2018: 11:1-11:7
2017
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ancs/BasuFHPSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ancs/BasuFHPSW17
Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang:
Life on the Edge: Unraveling Policies into Configurations. ANCS 2017: 178-190
[c50]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/ofc/MehmeriWBZPIMOF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ofc/MehmeriWBZPIMOF17
Victor Dantas Mehmeri, Xi Wang, Shrutarshi Basu, Qiong Zhang, Paparao Palacharla, Tadashi Ikeuchi, Idelfonso Tafur Monroy, Juan Jose Vegas Olmos, Nate Foster:
Software-programmed optical networking with integrated NFV service provisioning. OFC 2017: 1-2
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/SmolkaKFK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/SmolkaKFK017
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva:
Cantor meets scott: semantic foundations for probabilistic networks. POPL 2017: 557-571
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/JinLZSLFKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/JinLZSLFKS17
Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica:
NetCache: Balancing Key-Value Stores with Fast In-Network Caching. SOSP 2017: 121-136
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sosr/WangSDLSFW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosr/WangSDLSFW17
Han Wang, Robert Soulé, Huynh Tu Dang, Ki Suh Lee, Vishal Shrivastav, Nate Foster, Hakim Weatherspoon:
P4FPGA: A Rapid Prototyping Framework for P4. SOSR 2017: 122-135
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/Foster17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/Foster17
Nate Foster:
The next 700 network programming languages (invited talk). STOC 2017: 7
2016
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/FosterKMR016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FosterKMR016
Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva:
Probabilistic NetKAT. ESOP 2016: 282-309
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/HojjatRMCF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HojjatRMCF16
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster:
Optimizing horn solvers for network repair. FMCAD 2016: 73-80
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DiLorenzoZMFF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DiLorenzoZMFF16
Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster:
Incremental forest: a DSL for efficiently managing filestores. OOPSLA 2016: 252-271
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/McClurgHFC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/McClurgHFC16
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Event-driven network programming. PLDI 2016: 369-385
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sosr/SaurCFGVH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosr/SaurCFGVH16
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks:
Safe and Flexible Controller Upgrades for SDNs. SOSR 2016: 8
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sosr/ChenFSWZZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosr/ChenFSWZZ16
Haoxian Chen, Nate Foster, Jake Silverman, Michael J. Whittaker, Brandon Zhang, Rene Zhang:
Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis. SOSR 2016: 14
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/CernyFJM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/CernyFJM16
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time. DISC 2016: 114-128
2015
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/SmolkaEFG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SmolkaEFG15
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha:
A fast compiler for NetKAT. ICFP 2015: 328-341
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/nfvsdn/WangCPSSF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfvsdn/WangCPSSF15
Xi Wang, Cong Chen, Paparao Palacharla, Motoyoshi Sekiya, Steffen Smolka, Nate Foster:
SPN OS: Managing network services with virtual network objects. NFV-SDN 2015: 149-155
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/McClurgHCF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/McClurgHCF15
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster:
Efficient synthesis of network updates. PLDI 2015: 196-207
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FosterKM0T15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FosterKM0T15
Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson:
A Coalgebraic Decision Procedure for NetKAT. POPL 2015: 343-355
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/0002KBDHKFG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/0002KBDHKFG15
Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke:
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis. SIGMOD Conference 2015: 1311-1326
2014
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/conext/SouleBMPKSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conext/SouleBMPKSF14
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert D. Kleinberg, Emin Gün Sirer, Nate Foster:
Merlin: A Language for Provisioning Network Resources. CoNEXT 2014: 213-226
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/PrincehouseCJBFS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/PrincehouseCJBFS14
Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé:
MiCA: A Compositional Architecture for Gossip Protocols. ECOOP 2014: 644-669
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AndersonFGJKSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AndersonFGJKSW14
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker:
NetkAT: semantic foundations for networks. POPL 2014: 113-126
2013
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/FosterGRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/FosterGRS13
Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger:
Tutorial: Practical verification of network programs. FMCAD 2013: 9-10
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/hotnets/SouleBKSF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotnets/SouleBKSF13
Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, Nate Foster:
Managing the network with Merlin. HotNets 2013: 24:1-24:7
[c28]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/MonsantoRFRW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/MonsantoRFRW13
Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker:
Composing Software Defined Networks. NSDI 2013: 1-13
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GuhaRF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GuhaRF13
Arjun Guha, Mark Reitblatt, Nate Foster:
Machine-verified network controllers. PLDI 2013: 483-494
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/ReitblattCGF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/ReitblattCGF13
Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster:
FatTire: declarative fault tolerance for software-defined networks. HotSDN 2013: 109-114
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/VanbeverRBFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/VanbeverRBFR13
Laurent Vanbever, Joshua Reich, Theophilus Benson, Nate Foster, Jennifer Rexford:
HotSwap: correct and efficient controller upgrades for software-defined networks. HotSDN 2013: 133-138
[c24]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NoyesWCF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NoyesWCF14
Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster:
Toward Synthesis of Network Updates. SYNT 2013: 8-23
2012
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MonsantoFHW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MonsantoFHW12
Christopher Monsanto, Nate Foster, Rob Harrison, David Walker:
A compiler and run-time system for network programming languages. POPL 2012: 217-230
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/GutzSSF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/GutzSSF12
Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster:
Splendid isolation: a slice abstraction for software-defined networks. HotSDN@SIGCOMM 2012: 79-84
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/ReitblattFRSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/ReitblattFRSW12
Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker:
Abstractions for network update. SIGCOMM 2012: 323-334
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/HaydenMHFF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/HaydenMHFF12
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster:
Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE 2012: 278-293
2011
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/hotnets/ReitblattFRW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotnets/ReitblattFRW11
Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker:
Consistent updates for software-defined networks: change you can believe in! HotNets 2011: 7
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/FosterHFMRSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/FosterHFMRSW11
Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker:
Frenetic: a network programming language. ICFP 2011: 279-291
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/FisherFWZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/FisherFWZ11
Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu:
Forest: a language and toolkit for programming with filestores. ICFP 2011: 292-306
2010
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/conext/FosterFHRMW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conext/FosterFHRMW10
Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker:
Frenetic: a high-level language for OpenFlow networks. PRESTO@CoNEXT 2010: 6:1-6:6
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BarbosaCFGP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BarbosaCFGP10
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce:
Matching lenses: alignment and view update. ICFP 2010: 193-204
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ssgip/FosterMV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssgip/FosterMV10
Nate Foster, Kazutaka Matsuda, Janis Voigtländer:
Three Complementary Approaches to Bidirectional Programming. SSGIP 2010: 1-46
2009
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FosterPZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FosterPZ09
J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic:
Updatable Security Views. CSF 2009: 60-74
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/CzarneckiFHLST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/CzarneckiFHLST09
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger:
Bidirectional Transformations: A Cross-Discipline Perspective. ICMT@TOOLS 2009: 260-283
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/CheneyCFSV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/CheneyCFSV09
James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren:
Provenance: a future history. OOPSLA Companion 2009: 957-964
2008
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/FosterPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/FosterPP08
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce:
Quotient lenses. ICFP 2008: 383-396
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/FernandezFFGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/FernandezFFGM08
Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum:
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. PADL 2008: 133-149
[c8]
- view
  - electronic edition @ inria.fr
  - no references & citations available
- export record
  dblp key:
  - conf/planX/FosterKSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/FosterKSV08
J. Nathan Foster, Ravi B. Konuru, Jérôme Siméon, Lionel Villard:
An Algebraic Approach to View Maintenance for XQuery. PLAN-X 2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/FosterGT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/FosterGT08
J. Nathan Foster, Todd J. Green, Val Tannen:
Annotated XML: queries and provenance. PODS 2008: 271-280
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BohannonFPPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BohannonFPPS08
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt:
Boomerang: resourceful lenses for string data. POPL 2008: 407-419
2007
[c5]
- view
  - electronic edition @ plan-x-2007.org
  - no references & citations available
- export record
  dblp key:
  - conf/planX/FosterPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/FosterPS07
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt:
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X 2007: 80-90
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/FosterGKPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/FosterGKPS05
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt:
Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FosterGMPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FosterGMPS05
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt:
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. POPL 2005: 233-246
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/AydemirBFFPSVWWZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/AydemirBFFPSVWWZ05
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic:
Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BruceF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BruceF04
Kim B. Bruce, J. Nathan Foster:
LOOJ: Weaving LOOM into Java. ECOOP 2004: 389-413

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2013
[e2]
- view
- export record
  dblp key:
  - conf/sigcomm/2013hotsdn
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/2013hotsdn
Nate Foster, Rob Sherwood:
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, 2013. ACM 2013, ISBN 978-1-4503-2178-5 [contents]
2011
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/dbpl/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/2011
Nate Foster, Anastasios Kementsietsidis:
Database Programming Languages - DBPL 201, 13th International Symposium, Seattle, Washington, USA, August 29, 2011. Proceedings. 2011 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-10485
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-10485
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva:
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks. CoRR abs/2201.10485 (2022)
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08762
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett:
Leapfrog: Certified Equivalence for Protocol Parsers. CoRR abs/2205.08762 (2022)
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-03457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-03457
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini:
Dependently-Typed Data Plane Programming. CoRR abs/2206.03457 (2022)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-11659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-11659
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen:
Formal Abstractions for Packet Scheduling. CoRR abs/2211.11659 (2022)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-15300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-15300
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman:
P4Testgen: An Extensible Test Oracle For P4. CoRR abs/2211.15300 (2022)
2020
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-05948
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-05948
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster:
Petr4: Formal Foundations for P4 Data Planes. CoRR abs/2011.05948 (2020)
2019
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-08096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-08096
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva:
Scalable Verification of Probabilistic Networks. CoRR abs/1904.08096 (2019)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-07223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-07223
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini:
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR abs/1906.07223 (2019)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-05920
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-05920
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva:
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR abs/1907.05920 (2019)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-10273
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-10273
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. CoRR abs/1908.10273 (2019)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/AntichiBFRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/AntichiBFRS19
Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, Justine Sherry:
Programmable Network Data Planes (Dagstuhl Seminar 19141). Dagstuhl Reports 9(3): 178-201 (2019)
2018
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08236
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica:
NetChain: Scale-Free Sub-RTT Coordination (Extended Version). CoRR abs/1802.08236 (2018)
[i13]
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/FosterS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/FosterS18
Nate Foster, Motoyoshi Sekiya:
Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4). NII Shonan Meet. Rep. 2018 (2018)
2017
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SmolkaKKFK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SmolkaKKFK017
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva:
Deciding Probabilistic Program Equivalence in NetKAT. CoRR abs/1707.02772 (2017)
2016
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KumarYYFKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KumarYYFKS16
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert D. Kleinberg, Robert Soulé:
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing. CoRR abs/1603.01203 (2016)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CernyFJM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CernyFJM16
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time. CoRR abs/1607.05159 (2016)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SmolkaKFK016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SmolkaKFK016
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva:
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming. CoRR abs/1607.05830 (2016)
2015
[i8]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Foster15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Foster15
Nate Foster:
You and your graduate research. PLMW@POPL 2015: 2:1
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SmolkaEFG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SmolkaEFG15
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha:
A Fast Compiler for NetKAT. CoRR abs/1506.06378 (2015)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/McClurgHFC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McClurgHFC15
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Specification and Compilation of Event-driven SDN Programs. CoRR abs/1507.07049 (2015)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SaurCFGVH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SaurCFGVH15
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks:
Morpheus: Safe and Flexible Dynamic Updates for SDNs. CoRR abs/1509.03614 (2015)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BjornerFGZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BjornerFGZ15
Nikolaj S. Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave:
Formal Foundations for Networking (Dagstuhl Seminar 15071). Dagstuhl Reports 5(2): 44-63 (2015)
2014
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/0002KFGHK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0002KFGHK14
Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch:
Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency. CoRR abs/1403.2307 (2014)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/McClurgFC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McClurgFC14
Jedidiah McClurg, Nate Foster, Pavol Cerný:
Efficient Synthesis of Network Updates. CoRR abs/1403.5843 (2014)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SouleBMPKSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SouleBMPKSF14
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster:
Merlin: A Language for Provisioning Network Resources. CoRR abs/1407.1199 (2014)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.