![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Nate Foster
Person information
- affiliation: Cornell University, Ithaca, NY, USA
- affiliation: Princeton University, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j18]Mark Moeller
, Jules Jacobs
, Olivier Savary Bélanger
, David Darais
, Cole Schlesinger
, Steffen Smolka
, Nate Foster
, Alexandra Silva
:
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8(PLDI): 1905-1928 (2024) - [i26]Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva:
KATch: A Fast Symbolic Verifier for NetKAT. CoRR abs/2404.04760 (2024) - 2023
- [j17]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]Anshuman Mohan
, Yunhe Liu
, Nate Foster
, Tobias Kappé
, Dexter Kozen
:
Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. 7(OOPSLA2): 1338-1362 (2023) - [c78]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]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]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]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
- [j15]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]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) - [c74]Yunhe Liu, Nate Foster, Fred B. Schneider:
Causal network telemetry. EuroP4@CoNEXT 2022: 46-52 - [c73]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]Ryan Doenges, Tobias Kappé
, John Sarracino, Nate Foster
, Greg Morrisett:
Leapfrog: certified equivalence for protocol parsers. PLDI 2022: 950-965 - [i25]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]Ryan Doenges, Tobias Kappé
, John Sarracino, Nate Foster, Greg Morrisett:
Leapfrog: Certified Equivalence for Protocol Parsers. CoRR abs/2205.08762 (2022) - [i23]Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini:
Dependently-Typed Data Plane Programming. CoRR abs/2206.03457 (2022) - [i22]Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé
, Dexter Kozen:
Formal Abstractions for Packet Scheduling. CoRR abs/2211.11659 (2022) - [i21]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) - 2021
- [j13]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) - [c71]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
- [j12]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]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) - [c70]Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé
:
Forwarding and routing with packet subscriptions. CoNEXT 2020: 282-294 - [c69]Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster:
Composing Dataplane Programs with μP4. SIGCOMM 2020: 329-343 - [i20]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)
2010 – 2019
- 2019
- [c68]Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. APLAS 2019: 332-354 - [c67]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]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]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]Shrutarshi Basu, Nate Foster, James Grimmelmann:
Property conveyances as a programming language. Onward! 2019: 128-142 - [c63]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]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]Theo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, Robert Soulé
:
Fast String Searching on PISA. SOSR 2019: 21-28 - [c60]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 - [i19]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]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]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]Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. CoRR abs/1908.10273 (2019) - [i15]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
- [j10]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) - [c59]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]Nate Foster:
Network Verification: Successes, Challenges, and Opportunities. PLAS@CCS 2018: 41 - [c57]Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé
:
Packet Subscriptions for Programmable ASICs. HotNets 2018: 176-183 - [c56]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]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]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]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]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 - [i14]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]Nate Foster, Motoyoshi Sekiya:
Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4). NII Shonan Meet. Rep. 2018 (2018) - 2017
- [c51]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]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]Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
:
Cantor meets scott: semantic foundations for probabilistic networks. POPL 2017: 557-571 - [c48]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]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]Nate Foster:
The next 700 network programming languages (invited talk). STOC 2017: 7 - [i12]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
- [c45]Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva:
Probabilistic NetKAT. ESOP 2016: 282-309 - [c44]Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster:
Optimizing horn solvers for network repair. FMCAD 2016: 73-80 - [c43]Jonathan DiLorenzo, Richard Zhang, Erin Menzies
, Kathleen Fisher, Nate Foster:
Incremental forest: a DSL for efficiently managing filestores. OOPSLA 2016: 252-271 - [c42]Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Event-driven network programming. PLDI 2016: 369-385 - [c41]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]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]Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time. DISC 2016: 114-128 - [i11]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]Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time. CoRR abs/1607.05159 (2016) - [i9]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
- [j9]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) - [c38]Steffen Smolka
, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha:
A fast compiler for NetKAT. ICFP 2015: 328-341 - [c37]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]Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster:
Efficient synthesis of network updates. PLDI 2015: 196-207 - [c35]Nate Foster, Dexter Kozen, Mae Milano
, Alexandra Silva, Laure Thompson:
A Coalgebraic Decision Procedure for NetKAT. POPL 2015: 343-355 - [c34]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 - [i8]Nate Foster:
You and your graduate research. PLMW@POPL 2015: 2:1 - [i7]Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha:
A Fast Compiler for NetKAT. CoRR abs/1506.06378 (2015) - [i6]Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Specification and Compilation of Event-driven SDN Programs. CoRR abs/1507.07049 (2015) - [i5]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]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
- [j8]Martín Casado, Nate Foster, Arjun Guha:
Abstractions for software-defined networks. Commun. ACM 57(10): 86-95 (2014) - [c33]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]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]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 - [i3]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]Jedidiah McClurg, Nate Foster, Pavol Cerný:
Efficient Synthesis of Network Updates. CoRR abs/1403.5843 (2014) - [i1]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) - 2013
- [j7]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]Raghu Rajkumar, Nate Foster, Sam Lindley
, James Cheney
:
Lenses for Web Data. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j5]Joshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker
:
Modular SDN Programming with Pyretic. login Usenix Mag. 38(5) (2013) - [c30]Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger:
Tutorial: Practical verification of network programs. FMCAD 2013: 9-10 - [c29]Robert Soulé
, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, Nate Foster:
Managing the network with Merlin. HotNets 2013: 24:1-24:7 - [c28]Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker
:
Composing Software Defined Networks. NSDI 2013: 1-13 - [c27]Arjun Guha
, Mark Reitblatt, Nate Foster:
Machine-verified network controllers. PLDI 2013: 483-494 - [c26]Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster:
FatTire: declarative fault tolerance for software-defined networks. HotSDN 2013: 109-114 - [c25]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]Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster:
Toward Synthesis of Network Updates. SYNT 2013: 8-23 - [e2]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] - 2012
- [c23]Christopher Monsanto, Nate Foster, Rob Harrison, David Walker
:
A compiler and run-time system for network programming languages. POPL 2012: 217-230 - [c22]Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster:
Splendid isolation: a slice abstraction for software-defined networks. HotSDN@SIGCOMM 2012: 79-84 - [c21]Mark Reitblatt, Nate Foster, Jennifer Rexford
, Cole Schlesinger, David Walker
:
Abstractions for network update. SIGCOMM 2012: 323-334 - [c20]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]Mark Reitblatt, Nate Foster, Jennifer Rexford
, David Walker
:
Consistent updates for software-defined networks: change you can believe in! HotNets 2011: 7 - [c18]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]Kathleen Fisher, Nate Foster, David Walker
, Kenny Qili Zhu:
Forest: a language and toolkit for programming with filestores. ICFP 2011: 292-306 - [e1]Nate Foster, Anastasios Kementsietsidis:
Database Programming Languages - DBPL 201, 13th International Symposium, Seattle, Washington, USA, August 29, 2011. Proceedings. 2011 [contents] - 2010
- [c16]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]Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg
, Benjamin C. Pierce:
Matching lenses: alignment and view update. ICFP 2010: 193-204 - [c14]Nate Foster, Kazutaka Matsuda, Janis Voigtländer:
Three Complementary Approaches to Bidirectional Programming. SSGIP 2010: 1-46
2000 – 2009
- 2009
- [c13]J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic:
Updatable Security Views. CSF 2009: 60-74 - [c12]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]James Cheney
, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren:
Provenance: a future history. OOPSLA Companion 2009: 957-964 - 2008
- [c10]J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce:
Quotient lenses. ICFP 2008: 383-396 - [c9]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]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]J. Nathan Foster, Todd J. Green, Val Tannen:
Annotated XML: queries and provenance. PODS 2008: 271-280 - [c6]Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt:
Boomerang: resourceful lenses for string data. POPL 2008: 407-419 - 2007
- [j4]J. Nathan Foster, Grigoris Karvounarakis:
Provenance and Data Synchronization. IEEE Data Eng. Bull. 30(4): 13-21 (2007) - [j3]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]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) - [c5]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 - 2006
- [j1]J. Nathan Foster, Dimitrios Vytiniotis:
A Theory of Featherweight Java in Isabelle/HOL. Arch. Formal Proofs 2006 (2006) - 2005
- [c4]J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt:
Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57 - [c3]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]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]Kim B. Bruce, J. Nathan Foster:
LOOJ: Weaving LOOM into Java. ECOOP 2004: 389-413
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint