Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nate Foster
@article{DBLP:journals/darts/MoellerWSKF023,
author = {Mark Moeller and
Thomas Wiener and
Alaia Solko{-}Breslin and
Caleb Koch and
Nate Foster and
Alexandra Silva},
title = {Automata Learning with an Incomplete Teacher (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {21:1--21:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.21},
doi = {10.4230/DARTS.9.2.21},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MoellerWSKF023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MohanLFKK23,
author = {Anshuman Mohan and
Yunhe Liu and
Nate Foster and
Tobias Kapp{\'{e}} and
Dexter Kozen},
title = {Formal Abstractions for Packet Scheduling},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1338--1362},
year = {2023},
url = {https://doi.org/10.1145/3622845},
doi = {10.1145/3622845},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MohanLFKK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/PetersonCCISDAF23,
author = {Rudy Peterson and
Eric Hayden Campbell and
John Chen and
Natalie Isak and
Calvin Shyu and
Ryan Doenges and
Parisa Ataei and
Nate Foster},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {P4Cub: {A} Little Language for Big Routers},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {303--319},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575670},
doi = {10.1145/3573105.3575670},
timestamp = {Fri, 13 Jan 2023 13:03:25 +0100},
biburl = {https://dblp.org/rec/conf/cpp/PetersonCCISDAF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MoellerWSKF023,
author = {Mark Moeller and
Thomas Wiener and
Alaia Solko{-}Breslin and
Caleb Koch and
Nate Foster and
Alexandra Silva},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Automata Learning with an Incomplete Teacher},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {21:1--21:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.21},
doi = {10.4230/LIPICS.ECOOP.2023.21},
timestamp = {Tue, 11 Jul 2023 16:52:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MoellerWSKF023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/RuffyLKHTSDPSF23,
author = {Fabian Ruffy and
Jed Liu and
Prathima Kotikalapudi and
Vojtech Havel and
Hanneli Tavante and
Rob Sherwood and
Vladyslav Dubina and
Volodymyr Peschanenko and
Anirudh Sivaraman and
Nate Foster},
editor = {Henning Schulzrinne and
Vishal Misra and
Eddie Kohler and
David A. Maltz},
title = {P4Testgen: An Extensible Test Oracle For {P4-16}},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2023 Conference, {ACM} {SIGCOMM}
2023, New York, NY, USA, 10-14 September 2023},
pages = {136--151},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3603269.3604834},
doi = {10.1145/3603269.3604834},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/RuffyLKHTSDPSF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/RenganathanRKVC23,
author = {Sundararajan Renganathan and
Benny Rubin and
Hyojoon Kim and
Pier Luigi Ventre and
Carmelo Cascone and
Daniele Moro and
Charles Chan and
Nick McKeown and
Nate Foster},
editor = {Henning Schulzrinne and
Vishal Misra and
Eddie Kohler and
David A. Maltz},
title = {Hydra: Effective Runtime Network Verification},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2023 Conference, {ACM} {SIGCOMM}
2023, New York, NY, USA, 10-14 September 2023},
pages = {182--194},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3603269.3604856},
doi = {10.1145/3603269.3604856},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/RenganathanRKVC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/EichholzCKFM22,
author = {Matthias Eichholz and
Eric Hayden Campbell and
Matthias Krebs and
Nate Foster and
Mira Mezini},
title = {Dependently-typed data plane programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--28},
year = {2022},
url = {https://doi.org/10.1145/3498701},
doi = {10.1145/3498701},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/EichholzCKFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/JepsenFMFCS22,
author = {Theo Jepsen and
Ali Fattaholmanan and
Masoud Moshref and
Nate Foster and
Antonio Carzaniga and
Robert Soul{\'{e}}},
title = {Forwarding and Routing With Packet Subscriptions},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {30},
number = {6},
pages = {2464--2479},
year = {2022},
url = {https://doi.org/10.1109/TNET.2022.3172066},
doi = {10.1109/TNET.2022.3172066},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ton/JepsenFMFCS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/LiuFS22,
author = {Yunhe Liu and
Nate Foster and
Fred B. Schneider},
editor = {Marco Chiesa and
Shir Landau Feibish},
title = {Causal network telemetry},
booktitle = {Proceedings of the 5th International Workshop on {P4} in Europe, EuroP4
2022, Rome, Italy, 9 December 2022},
pages = {46--52},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3565475.3569084},
doi = {10.1145/3565475.3569084},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conext/LiuFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WagemakerFKKRS22,
author = {Jana Wagemaker and
Nate Foster and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Jurriaan Rot and
Alexandra Silva},
editor = {Ilya Sergey},
title = {Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {575--602},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_21},
doi = {10.1007/978-3-030-99336-8\_21},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/WagemakerFKKRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DoengesKSFM22,
author = {Ryan Doenges and
Tobias Kapp{\'{e}} and
John Sarracino and
Nate Foster and
Greg Morrisett},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Leapfrog: certified equivalence for protocol parsers},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {950--965},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523715},
doi = {10.1145/3519939.3523715},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DoengesKSFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10485,
author = {Jana Wagemaker and
Nate Foster and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Jurriaan Rot and
Alexandra Silva},
title = {Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks},
journal = {CoRR},
volume = {abs/2201.10485},
year = {2022},
url = {https://arxiv.org/abs/2201.10485},
eprinttype = {arXiv},
eprint = {2201.10485},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08762,
author = {Ryan Doenges and
Tobias Kapp{\'{e}} and
John Sarracino and
Nate Foster and
Greg Morrisett},
title = {Leapfrog: Certified Equivalence for Protocol Parsers},
journal = {CoRR},
volume = {abs/2205.08762},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08762},
doi = {10.48550/ARXIV.2205.08762},
eprinttype = {arXiv},
eprint = {2205.08762},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03457,
author = {Matthias Eichholz and
Eric Hayden Campbell and
Matthias Krebs and
Nate Foster and
Mira Mezini},
title = {Dependently-Typed Data Plane Programming},
journal = {CoRR},
volume = {abs/2206.03457},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03457},
doi = {10.48550/ARXIV.2206.03457},
eprinttype = {arXiv},
eprint = {2206.03457},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-11659,
author = {Anshuman Mohan and
Yunhe Liu and
Nate Foster and
Tobias Kapp{\'{e}} and
Dexter Kozen},
title = {Formal Abstractions for Packet Scheduling},
journal = {CoRR},
volume = {abs/2211.11659},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.11659},
doi = {10.48550/ARXIV.2211.11659},
eprinttype = {arXiv},
eprint = {2211.11659},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-11659.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-15300,
author = {Fabian Ruffy and
Jed Liu and
Prathima Kotikalapudi and
Vojtech Havel and
Rob Sherwood and
Vlad Dubina and
Volodymyr Peschanenko and
Nate Foster and
Anirudh Sivaraman},
title = {P4Testgen: An Extensible Test Oracle For {P4}},
journal = {CoRR},
volume = {abs/2211.15300},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.15300},
doi = {10.48550/ARXIV.2211.15300},
eprinttype = {arXiv},
eprint = {2211.15300},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-15300.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DoengesABCNPPSX21,
author = {Ryan Doenges and
Mina Tahmasbi Arashloo and
Santiago Bautista and
Alexander Chang and
Newton Ni and
Samwise Parkinson and
Rudy Peterson and
Alaia Solko{-}Breslin and
Amanda Xu and
Nate Foster},
title = {Petr4: formal foundations for p4 data planes},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--32},
year = {2021},
url = {https://doi.org/10.1145/3434322},
doi = {10.1145/3434322},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DoengesABCNPPSX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/CampbellHSCLRHP21,
author = {Eric Hayden Campbell and
William T. Hallahan and
Priya Srikumar and
Carmelo Cascone and
Jed Liu and
Vignesh Ramamurthy and
Hossein Hojjat and
Ruzica Piskac and
Robert Soul{\'{e}} and
Nate Foster},
editor = {James Mickens and
Renata Teixeira},
title = {Avenir: Managing Data Plane Diversity with Control Plane Synthesis},
booktitle = {18th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2021, April 12-14, 2021},
pages = {133--153},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/nsdi21/presentation/campbell},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/CampbellHSCLRHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/FosterMRPPS20,
author = {Nate Foster and
Nick McKeown and
Jennifer Rexford and
Guru M. Parulkar and
Larry L. Peterson and
M. Oguz Sunay},
title = {Using deep programmability to put network owners in control},
journal = {Comput. Commun. Rev.},
volume = {50},
number = {4},
pages = {82--88},
year = {2020},
url = {https://doi.org/10.1145/3431832.3431842},
doi = {10.1145/3431832.3431842},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/FosterMRPPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SmolkaFHKKS20,
author = {Steffen Smolka and
Nate Foster and
Justin Hsu and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Alexandra Silva},
title = {Guarded Kleene algebra with tests: verification of uninterpreted programs
in nearly linear time},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {61:1--61:28},
year = {2020},
url = {https://doi.org/10.1145/3371129},
doi = {10.1145/3371129},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SmolkaFHKKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/JepsenFMFCS20,
author = {Theo Jepsen and
Ali Fattaholmanan and
Masoud Moshref and
Nate Foster and
Antonio Carzaniga and
Robert Soul{\'{e}}},
editor = {Dongsu Han and
Anja Feldmann},
title = {Forwarding and routing with packet subscriptions},
booktitle = {CoNEXT '20: The 16th International Conference on emerging Networking
EXperiments and Technologies, Barcelona, Spain, December, 2020},
pages = {282--294},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3386367.3431315},
doi = {10.1145/3386367.3431315},
timestamp = {Sat, 30 Sep 2023 09:37:43 +0200},
biburl = {https://dblp.org/rec/conf/conext/JepsenFMFCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/SoniR0DF20,
author = {Hardik Soni and
Myriana Rifai and
Praveen Kumar and
Ryan Doenges and
Nate Foster},
editor = {Henning Schulzrinne and
Vishal Misra},
title = {Composing Dataplane Programs with {\(\mu\)}P4},
booktitle = {{SIGCOMM} '20: Proceedings of the 2020 Annual conference of the {ACM}
Special Interest Group on Data Communication on the applications,
technologies, architectures, and protocols for computer communication,
Virtual Event, USA, August 10-14, 2020},
pages = {329--343},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387514.3405872},
doi = {10.1145/3387514.3405872},
timestamp = {Thu, 01 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/SoniR0DF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-05948,
author = {Ryan Doenges and
Mina Tahmasbi Arashloo and
Santiago Bautista and
Alexander Chang and
Newton Ni and
Samwise Parkinson and
Rudy Peterson and
Alaia Solko{-}Breslin and
Amanda Xu and
Nate Foster},
title = {Petr4: Formal Foundations for {P4} Data Planes},
journal = {CoRR},
volume = {abs/2011.05948},
year = {2020},
url = {https://arxiv.org/abs/2011.05948},
eprinttype = {arXiv},
eprint = {2011.05948},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-05948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DiLorenzoMFF19,
author = {Jonathan DiLorenzo and
Katie Mancini and
Kathleen Fisher and
Nate Foster},
editor = {Anthony Widjaja Lin},
title = {TxForest: {A} {DSL} for Concurrent Filestores},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {332--354},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_17},
doi = {10.1007/978-3-030-34175-6\_17},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/DiLorenzoMFF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SkalkaRDKGDSF19,
author = {Christian Skalka and
John Ring and
David Darais and
Minseok Kwon and
Sahil Gupta and
Kyle Diller and
Steffen Smolka and
Nate Foster},
editor = {Lorenzo Cavallaro and
Johannes Kinder and
XiaoFeng Wang and
Jonathan Katz},
title = {Proof-Carrying Network Code},
booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
pages = {1115--1129},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319535.3363214},
doi = {10.1145/3319535.3363214},
timestamp = {Tue, 10 Nov 2020 20:00:36 +0100},
biburl = {https://dblp.org/rec/conf/ccs/SkalkaRDKGDSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/EichholzCFSM19,
author = {Matthias Eichholz and
Eric Hayden Campbell and
Nate Foster and
Guido Salvaneschi and
Mira Mezini},
editor = {Alastair F. Donaldson},
title = {How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane
Programming with SafeP4},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {12:1--12:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.12},
doi = {10.4230/LIPICS.ECOOP.2019.12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/EichholzCFSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/MagrinoLFGM19,
author = {Tom Magrino and
Jed Liu and
Nate Foster and
Johannes Gehrke and
Andrew C. Myers},
editor = {George Candea and
Robbert van Renesse and
Christof Fetzer},
title = {Efficient, Consistent Distributed Computation with Predictive Treaties},
booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany,
March 25-28, 2019},
pages = {36:1--36:16},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302424.3303987},
doi = {10.1145/3302424.3303987},
timestamp = {Thu, 28 Mar 2019 13:37:53 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/MagrinoLFGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BasuFG19,
author = {Shrutarshi Basu and
Nate Foster and
James Grimmelmann},
editor = {Hidehiko Masuhara and
Tomas Petricek},
title = {Property conveyances as a programming language},
booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2019, Athens, Greece, October 23-24, 2019},
pages = {128--142},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359591.3359734},
doi = {10.1145/3359591.3359734},
timestamp = {Wed, 30 Oct 2019 18:27:14 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BasuFG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SmolkaKKFHK019,
author = {Steffen Smolka and
Praveen Kumar and
David M. Kahn and
Nate Foster and
Justin Hsu and
Dexter Kozen and
Alexandra Silva},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Scalable verification of probabilistic networks},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {190--203},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314639},
doi = {10.1145/3314221.3314639},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SmolkaKKFHK019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KumarDLCWLVAGFV19,
author = {Praveen Kumar and
Nandita Dukkipati and
Nathan Lewis and
Yi Cui and
Yaogong Wang and
Chonggang Li and
Valas Valancius and
Jake Adriaens and
Steve D. Gribble and
Nate Foster and
Amin Vahdat},
editor = {Jianping Wu and
Wendy Hall},
title = {PicNIC: predictable virtualized {NIC}},
booktitle = {Proceedings of the {ACM} Special Interest Group on Data Communication,
{SIGCOMM} 2019, Beijing, China, August 19-23, 2019},
pages = {351--366},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341302.3342093},
doi = {10.1145/3341302.3342093},
timestamp = {Tue, 30 Nov 2021 14:57:49 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/KumarDLCWLVAGFV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/JepsenAFKLMS19,
author = {Theo Jepsen and
Daniel {\'{A}}lvarez and
Nate Foster and
Changhoon Kim and
Jeongkeun Lee and
Masoud Moshref and
Robert Soul{\'{e}}},
title = {Fast String Searching on {PISA}},
booktitle = {Proceedings of the 2019 {ACM} Symposium on {SDN} Research, {SOSR}
2019, San Jose, CA, USA, April 3-4, 2019},
pages = {21--28},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314148.3314356},
doi = {10.1145/3314148.3314356},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosr/JepsenAFKLMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wpes/BagdasaryanBWBF19,
author = {Eugene Bagdasaryan and
Griffin Berlstein and
Jason Waterman and
Eleanor Birrell and
Nate Foster and
Fred B. Schneider and
Deborah Estrin},
editor = {Lorenzo Cavallaro and
Johannes Kinder and
Josep Domingo{-}Ferrer},
title = {Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based
Privacy},
booktitle = {Proceedings of the 18th {ACM} Workshop on Privacy in the Electronic
Society, WPES@CCS 2019, London, UK, November 11, 2019},
pages = {111--124},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338498.3358642},
doi = {10.1145/3338498.3358642},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wpes/BagdasaryanBWBF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08096,
author = {Steffen Smolka and
Praveen Kumar and
David M. Kahn and
Nate Foster and
Justin Hsu and
Dexter Kozen and
Alexandra Silva},
title = {Scalable Verification of Probabilistic Networks},
journal = {CoRR},
volume = {abs/1904.08096},
year = {2019},
url = {http://arxiv.org/abs/1904.08096},
eprinttype = {arXiv},
eprint = {1904.08096},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-08096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-07223,
author = {Matthias Eichholz and
Eric Hayden Campbell and
Nate Foster and
Guido Salvaneschi and
Mira Mezini},
title = {How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane
Programming with SafeP4},
journal = {CoRR},
volume = {abs/1906.07223},
year = {2019},
url = {http://arxiv.org/abs/1906.07223},
eprinttype = {arXiv},
eprint = {1906.07223},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-07223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05920,
author = {Steffen Smolka and
Nate Foster and
Justin Hsu and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Alexandra Silva},
title = {Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs
in Nearly Linear Time},
journal = {CoRR},
volume = {abs/1907.05920},
year = {2019},
url = {http://arxiv.org/abs/1907.05920},
eprinttype = {arXiv},
eprint = {1907.05920},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10273,
author = {Jonathan DiLorenzo and
Katie Mancini and
Kathleen Fisher and
Nate Foster},
title = {TxForest: {A} {DSL} for Concurrent Filestores},
journal = {CoRR},
volume = {abs/1908.10273},
year = {2019},
url = {http://arxiv.org/abs/1908.10273},
eprinttype = {arXiv},
eprint = {1908.10273},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AntichiBFRS19,
author = {Gianni Antichi and
Theophilus Benson and
Nate Foster and
Fernando M. V. Ramos and
Justine Sherry},
title = {Programmable Network Data Planes (Dagstuhl Seminar 19141)},
journal = {Dagstuhl Reports},
volume = {9},
number = {3},
pages = {178--201},
year = {2019},
url = {https://doi.org/10.4230/DagRep.9.3.178},
doi = {10.4230/DAGREP.9.3.178},
timestamp = {Fri, 13 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AntichiBFRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/SouleBMPKSF18,
author = {Robert Soul{\'{e}} and
Shrutarshi Basu and
Parisa Jalili Marandi and
Fernando Pedone and
Robert Kleinberg and
Emin G{\"{u}}n Sirer and
Nate Foster},
title = {Merlin: {A} Language for Managing Network Resources},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {26},
number = {5},
pages = {2188--2201},
year = {2018},
url = {http://doi.ieeecomputersociety.org/10.1109/TNET.2018.2867239},
doi = {10.1109/TNET.2018.2867239},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/SouleBMPKSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/anrw/KumarYYFKLLS18,
author = {Praveen Kumar and
Yang Yuan and
Chris Yu and
Nate Foster and
Robert Kleinberg and
Petr Lapukhov and
Chiunlin Lim and
Robert Soul{\'{e}}},
title = {Semi-Oblivious Traffic Engineering with {SMORE}},
booktitle = {Proceedings of the Applied Networking Research Workshop, {ANRW} 2018,
Montreal, QC, Canada, July 16-16, 2018},
pages = {21},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3232755.3232781},
doi = {10.1145/3232755.3232781},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/anrw/KumarYYFKLLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Foster18,
author = {Nate Foster},
editor = {M{\'{a}}rio S. Alvim and
St{\'{e}}phanie Delaune},
title = {Network Verification: Successes, Challenges, and Opportunities},
booktitle = {Proceedings of the 13th Workshop on Programming Languages and Analysis
for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018},
pages = {41},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3264820.3264828},
doi = {10.1145/3264820.3264828},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/Foster18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/JepsenMCFS18,
author = {Theo Jepsen and
Masoud Moshref and
Antonio Carzaniga and
Nate Foster and
Robert Soul{\'{e}}},
title = {Packet Subscriptions for Programmable ASICs},
booktitle = {Proceedings of the 17th {ACM} Workshop on Hot Topics in Networks,
HotNets 2018, Redmond, WA, USA, November 15-16, 2018},
pages = {176--183},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3286062.3286092},
doi = {10.1145/3286062.3286092},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/JepsenMCFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/JinLZFLSKS18,
author = {Xin Jin and
Xiaozhou Li and
Haoyu Zhang and
Nate Foster and
Jeongkeun Lee and
Robert Soul{\'{e}} and
Changhoon Kim and
Ion Stoica},
editor = {Sujata Banerjee and
Srinivasan Seshan},
title = {NetChain: Scale-Free Sub-RTT Coordination},
booktitle = {15th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2018, Renton, WA, USA, April 9-11, 2018},
pages = {35--49},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/nsdi18/presentation/jin},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/JinLZFLSKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/KumarYYFKLLS18,
author = {Praveen Kumar and
Yang Yuan and
Chris Yu and
Nate Foster and
Robert Kleinberg and
Petr Lapukhov and
Chiunlin Lim and
Robert Soul{\'{e}}},
editor = {Sujata Banerjee and
Srinivasan Seshan},
title = {Semi-Oblivious Traffic Engineering: The Road Not Taken},
booktitle = {15th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2018, Renton, WA, USA, April 9-11, 2018},
pages = {157--170},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/nsdi18/presentation/kumar},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/KumarYYFKLLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/LiuHSSLSWCMF18,
author = {Jed Liu and
William T. Hallahan and
Cole Schlesinger and
Milad Sharif and
Jeongkeun Lee and
Robert Soul{\'{e}} and
Han Wang and
Calin Cascaval and
Nick McKeown and
Nate Foster},
editor = {Sergey Gorinsky and
J{\'{a}}nos Tapolcai},
title = {p4v: practical verification for programmable data planes},
booktitle = {Proceedings of the 2018 Conference of the {ACM} Special Interest Group
on Data Communication, {SIGCOMM} 2018, Budapest, Hungary, August 20-25,
2018},
pages = {490--503},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3230543.3230582},
doi = {10.1145/3230543.3230582},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/LiuHSSLSWCMF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/JepsenMCFS18,
author = {Theo Jepsen and
Masoud Moshref and
Antonio Carzaniga and
Nate Foster and
Robert Soul{\'{e}}},
title = {Life in the Fast Lane: {A} Line-Rate Linear Road},
booktitle = {Proceedings of the Symposium on {SDN} Research, {SOSR} 2018, Los Angeles,
CA, USA, March 28-29, 2018},
pages = {10:1--10:7},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3185467.3185494},
doi = {10.1145/3185467.3185494},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosr/JepsenMCFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/KumarYYFKS18,
author = {Praveen Kumar and
Chris Yu and
Yang Yuan and
Nate Foster and
Robert Kleinberg and
Robert Soul{\'{e}}},
title = {{YATES:} Rapid Prototyping for Traffic Engineering Systems},
booktitle = {Proceedings of the Symposium on {SDN} Research, {SOSR} 2018, Los Angeles,
CA, USA, March 28-29, 2018},
pages = {11:1--11:7},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3185467.3185498},
doi = {10.1145/3185467.3185498},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosr/KumarYYFKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08236,
author = {Xin Jin and
Xiaozhou Li and
Haoyu Zhang and
Nate Foster and
Jeongkeun Lee and
Robert Soul{\'{e}} and
Changhoon Kim and
Ion Stoica},
title = {NetChain: Scale-Free Sub-RTT Coordination (Extended Version)},
journal = {CoRR},
volume = {abs/1802.08236},
year = {2018},
url = {http://arxiv.org/abs/1802.08236},
eprinttype = {arXiv},
eprint = {1802.08236},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08236.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/FosterS18,
author = {Nate Foster and
Motoyoshi Sekiya},
title = {Theory and Practice of Data Plane Programming {(NII} Shonan Meeting
2018-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/112/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/FosterS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ancs/BasuFHPSW17,
author = {Shrutarshi Basu and
Nate Foster and
Hossein Hojjat and
Paparao Palacharla and
Christian Skalka and
Xi Wang},
title = {Life on the Edge: Unraveling Policies into Configurations},
booktitle = {{ACM/IEEE} Symposium on Architectures for Networking and Communications
Systems, {ANCS} 2017, Beijing, China, May 18-19, 2017},
pages = {178--190},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ANCS.2017.31},
doi = {10.1109/ANCS.2017.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ancs/BasuFHPSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/MehmeriWBZPIMOF17,
author = {Victor Dantas Mehmeri and
Xi Wang and
Shrutarshi Basu and
Qiong Zhang and
Paparao Palacharla and
Tadashi Ikeuchi and
Idelfonso Tafur Monroy and
Juan Jose Vegas Olmos and
Nate Foster},
title = {Software-programmed optical networking with integrated {NFV} service
provisioning},
booktitle = {Optical Fiber Communications Conference and Exhibition, {OFC} 2017,
Los Angeles, CA, USA, March 19-23, 2017},
pages = {1--2},
publisher = {{IEEE}},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/freeabs\_all.jsp?arnumber=7937279},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ofc/MehmeriWBZPIMOF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SmolkaKFK017,
author = {Steffen Smolka and
Praveen Kumar and
Nate Foster and
Dexter Kozen and
Alexandra Silva},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Cantor meets scott: semantic foundations for probabilistic networks},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {557--571},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009843},
doi = {10.1145/3009837.3009843},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/SmolkaKFK017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/JinLZSLFKS17,
author = {Xin Jin and
Xiaozhou Li and
Haoyu Zhang and
Robert Soul{\'{e}} and
Jeongkeun Lee and
Nate Foster and
Changhoon Kim and
Ion Stoica},
title = {NetCache: Balancing Key-Value Stores with Fast In-Network Caching},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {121--136},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132764},
doi = {10.1145/3132747.3132764},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/JinLZSLFKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/WangSDLSFW17,
author = {Han Wang and
Robert Soul{\'{e}} and
Huynh Tu Dang and
Ki Suh Lee and
Vishal Shrivastav and
Nate Foster and
Hakim Weatherspoon},
title = {{P4FPGA:} {A} Rapid Prototyping Framework for {P4}},
booktitle = {Proceedings of the Symposium on {SDN} Research, {SOSR} 2017, Santa
Clara, CA, USA, April 3-4, 2017},
pages = {122--135},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3050220.3050234},
doi = {10.1145/3050220.3050234},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosr/WangSDLSFW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Foster17,
author = {Nate Foster},
editor = {Hamed Hatami and
Pierre McKenzie and
Valerie King},
title = {The next 700 network programming languages (invited talk)},
booktitle = {Proceedings of the 49th Annual {ACM} {SIGACT} Symposium on Theory
of Computing, {STOC} 2017, Montreal, QC, Canada, June 19-23, 2017},
pages = {7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055399.3081042},
doi = {10.1145/3055399.3081042},
timestamp = {Sun, 02 Jun 2019 21:10:31 +0200},
biburl = {https://dblp.org/rec/conf/stoc/Foster17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SmolkaKKFK017,
author = {Steffen Smolka and
David M. Kahn and
Praveen Kumar and
Nate Foster and
Dexter Kozen and
Alexandra Silva},
title = {Deciding Probabilistic Program Equivalence in NetKAT},
journal = {CoRR},
volume = {abs/1707.02772},
year = {2017},
url = {http://arxiv.org/abs/1707.02772},
eprinttype = {arXiv},
eprint = {1707.02772},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SmolkaKKFK017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FosterKMR016,
author = {Nate Foster and
Dexter Kozen and
Konstantinos Mamouras and
Mark Reitblatt and
Alexandra Silva},
editor = {Peter Thiemann},
title = {Probabilistic NetKAT},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9632},
pages = {282--309},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_12},
doi = {10.1007/978-3-662-49498-1\_12},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/esop/FosterKMR016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HojjatRMCF16,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer and
Jedidiah McClurg and
Pavol Cern{\'{y}} and
Nate Foster},
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {Optimizing horn solvers for network repair},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {73--80},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886663},
doi = {10.1109/FMCAD.2016.7886663},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HojjatRMCF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DiLorenzoZMFF16,
author = {Jonathan DiLorenzo and
Richard Zhang and
Erin Menzies and
Kathleen Fisher and
Nate Foster},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Incremental forest: a {DSL} for efficiently managing filestores},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {252--271},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984034},
doi = {10.1145/2983990.2984034},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DiLorenzoZMFF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHFC16,
author = {Jedidiah McClurg and
Hossein Hojjat and
Nate Foster and
Pavol Cern{\'{y}}},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Event-driven network programming},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {369--385},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908097},
doi = {10.1145/2908080.2908097},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/McClurgHFC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/SaurCFGVH16,
author = {Karla Saur and
Joseph M. Collard and
Nate Foster and
Arjun Guha and
Laurent Vanbever and
Michael W. Hicks},
editor = {Brighten Godfrey and
Mart{\'{\i}}n Casado},
title = {Safe and Flexible Controller Upgrades for SDNs},
booktitle = {Proceedings of the Symposium on {SDN} Research, {SOSR} 2016, Santa
Clara, CA, USA, March 14 - 15, 2016},
pages = {8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2890955.2890966},
doi = {10.1145/2890955.2890966},
timestamp = {Tue, 06 Nov 2018 11:07:02 +0100},
biburl = {https://dblp.org/rec/conf/sosr/SaurCFGVH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/ChenFSWZZ16,
author = {Haoxian Chen and
Nate Foster and
Jake Silverman and
Michael J. Whittaker and
Brandon Zhang and
Rene Zhang},
editor = {Brighten Godfrey and
Mart{\'{\i}}n Casado},
title = {Felix: Implementing Traffic Measurement on End Hosts Using Program
Analysis},
booktitle = {Proceedings of the Symposium on {SDN} Research, {SOSR} 2016, Santa
Clara, CA, USA, March 14 - 15, 2016},
pages = {14},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2890955.2890971},
doi = {10.1145/2890955.2890971},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosr/ChenFSWZZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CernyFJM16,
author = {Pavol Cern{\'{y}} and
Nate Foster and
Nilesh Jagnik and
Jedidiah McClurg},
editor = {Cyril Gavoille and
David Ilcinkas},
title = {Optimal Consistent Network Updates in Polynomial Time},
booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016,
Paris, France, September 27-29, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9888},
pages = {114--128},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53426-7\_9},
doi = {10.1007/978-3-662-53426-7\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CernyFJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KumarYYFKS16,
author = {Praveen Kumar and
Yang Yuan and
Chris Yu and
Nate Foster and
Robert D. Kleinberg and
Robert Soul{\'{e}}},
title = {Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing},
journal = {CoRR},
volume = {abs/1603.01203},
year = {2016},
url = {http://arxiv.org/abs/1603.01203},
eprinttype = {arXiv},
eprint = {1603.01203},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KumarYYFKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CernyFJM16,
author = {Pavol Cern{\'{y}} and
Nate Foster and
Nilesh Jagnik and
Jedidiah McClurg},
title = {Optimal Consistent Network Updates in Polynomial Time},
journal = {CoRR},
volume = {abs/1607.05159},
year = {2016},
url = {http://arxiv.org/abs/1607.05159},
eprinttype = {arXiv},
eprint = {1607.05159},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CernyFJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SmolkaKFK016,
author = {Steffen Smolka and
Praveen Kumar and
Nate Foster and
Dexter Kozen and
Alexandra Silva},
title = {Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic
Network Programming},
journal = {CoRR},
volume = {abs/1607.05830},
year = {2016},
url = {http://arxiv.org/abs/1607.05830},
eprinttype = {arXiv},
eprint = {1607.05830},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SmolkaKFK016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FosterGMPS15,
author = {J. Nathan Foster and
Michael B. Greenwald and
Jonathan T. Moore and
Benjamin C. Pierce and
Alan Schmitt},
title = {{POPL} 2005: Combinators for Bi-Directional Tree Transformations:
Linguistic Approach to the View Update Problem},
journal = {{ACM} {SIGPLAN} Notices},
volume = {50},
number = {8s},
pages = {49--62},
year = {2015},
url = {https://doi.org/10.1145/2854695.2854700},
doi = {10.1145/2854695.2854700},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FosterGMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SmolkaEFG15,
author = {Steffen Smolka and
Spiridon Aristides Eliopoulos and
Nate Foster and
Arjun Guha},
editor = {Kathleen Fisher and
John H. Reppy},
title = {A fast compiler for NetKAT},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {328--341},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784761},
doi = {10.1145/2784731.2784761},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SmolkaEFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfvsdn/WangCPSSF15,
author = {Xi Wang and
Cong Chen and
Paparao Palacharla and
Motoyoshi Sekiya and
Steffen Smolka and
Nate Foster},
title = {{SPN} {OS:} Managing network services with virtual network objects},
booktitle = {{IEEE} Conference on Network Function Virtualization and Software
Defined Networks, {NFV-SDN} 2015, San Francisco, CA, USA, November
18-21, 2015},
pages = {149--155},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/NFV-SDN.2015.7387420},
doi = {10.1109/NFV-SDN.2015.7387420},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/nfvsdn/WangCPSSF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHCF15,
author = {Jedidiah McClurg and
Hossein Hojjat and
Pavol Cern{\'{y}} and
Nate Foster},
editor = {David Grove and
Stephen M. Blackburn},
title = {Efficient synthesis of network updates},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {196--207},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737980},
doi = {10.1145/2737924.2737980},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/McClurgHCF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FosterKM0T15,
author = {Nate Foster and
Dexter Kozen and
Mae Milano and
Alexandra Silva and
Laure Thompson},
editor = {Sriram K. Rajamani and
David Walker},
title = {A Coalgebraic Decision Procedure for NetKAT},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {343--355},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677011},
doi = {10.1145/2676726.2677011},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/FosterKM0T15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/0002KBDHKFG15,
author = {Sudip Roy and
Lucja Kot and
Gabriel Bender and
Bailu Ding and
Hossein Hojjat and
Christoph Koch and
Nate Foster and
Johannes Gehrke},
editor = {Timos K. Sellis and
Susan B. Davidson and
Zachary G. Ives},
title = {The Homeostasis Protocol: Avoiding Transaction Coordination Through
Program Analysis},
booktitle = {Proceedings of the 2015 {ACM} {SIGMOD} International Conference on
Management of Data, Melbourne, Victoria, Australia, May 31 - June
4, 2015},
pages = {1311--1326},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2723372.2723720},
doi = {10.1145/2723372.2723720},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/0002KBDHKFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Foster15,
author = {Nate Foster},
title = {You and your graduate research},
booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
2015, Mumbai, India, January 14, 2015},
pages = {2:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2792434.2792436},
doi = {10.1145/2792434.2792436},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Foster15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SmolkaEFG15,
author = {Steffen Smolka and
Spiridon Aristides Eliopoulos and
Nate Foster and
Arjun Guha},
title = {A Fast Compiler for NetKAT},
journal = {CoRR},
volume = {abs/1506.06378},
year = {2015},
url = {http://arxiv.org/abs/1506.06378},
eprinttype = {arXiv},
eprint = {1506.06378},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SmolkaEFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/McClurgHFC15,
author = {Jedidiah McClurg and
Hossein Hojjat and
Nate Foster and
Pavol Cern{\'{y}}},
title = {Specification and Compilation of Event-driven {SDN} Programs},
journal = {CoRR},
volume = {abs/1507.07049},
year = {2015},
url = {http://arxiv.org/abs/1507.07049},
eprinttype = {arXiv},
eprint = {1507.07049},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/McClurgHFC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SaurCFGVH15,
author = {Karla Saur and
Joseph M. Collard and
Nate Foster and
Arjun Guha and
Laurent Vanbever and
Michael W. Hicks},
title = {Morpheus: Safe and Flexible Dynamic Updates for SDNs},
journal = {CoRR},
volume = {abs/1509.03614},
year = {2015},
url = {http://arxiv.org/abs/1509.03614},
eprinttype = {arXiv},
eprint = {1509.03614},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SaurCFGVH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BjornerFGZ15,
author = {Nikolaj S. Bj{\o}rner and
Nate Foster and
Philip Brighten Godfrey and
Pamela Zave},
title = {Formal Foundations for Networking (Dagstuhl Seminar 15071)},
journal = {Dagstuhl Reports},
volume = {5},
number = {2},
pages = {44--63},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.2.44},
doi = {10.4230/DAGREP.5.2.44},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BjornerFGZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CasadoFG14,
author = {Mart{\'{\i}}n Casado and
Nate Foster and
Arjun Guha},
title = {Abstractions for software-defined networks},
journal = {Commun. {ACM}},
volume = {57},
number = {10},
pages = {86--95},
year = {2014},
url = {https://doi.org/10.1145/2661061.2661063},
doi = {10.1145/2661061.2661063},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CasadoFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/SouleBMPKSF14,
author = {Robert Soul{\'{e}} and
Shrutarshi Basu and
Parisa Jalili Marandi and
Fernando Pedone and
Robert D. Kleinberg and
Emin G{\"{u}}n Sirer and
Nate Foster},
editor = {Aruna Seneviratne and
Christophe Diot and
Jim Kurose and
Augustin Chaintreau and
Luigi Rizzo},
title = {Merlin: {A} Language for Provisioning Network Resources},
booktitle = {Proceedings of the 10th {ACM} International on Conference on emerging
Networking Experiments and Technologies, CoNEXT 2014, Sydney, Australia,
December 2-5, 2014},
pages = {213--226},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2674005.2674989},
doi = {10.1145/2674005.2674989},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conext/SouleBMPKSF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PrincehouseCJBFS14,
author = {Lonnie Princehouse and
Rakesh Chenchu and
Zhefu Jiang and
Kenneth P. Birman and
Nate Foster and
Robert Soul{\'{e}}},
editor = {Richard E. Jones},
title = {MiCA: {A} Compositional Architecture for Gossip Protocols},
booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8586},
pages = {644--669},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44202-9\_26},
doi = {10.1007/978-3-662-44202-9\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PrincehouseCJBFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AndersonFGJKSW14,
author = {Carolyn Jane Anderson and
Nate Foster and
Arjun Guha and
Jean{-}Baptiste Jeannin and
Dexter Kozen and
Cole Schlesinger and
David Walker},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {NetkAT: semantic foundations for networks},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {113--126},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535862},
doi = {10.1145/2535838.2535862},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AndersonFGJKSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0002KFGHK14,
author = {Sudip Roy and
Lucja Kot and
Nate Foster and
Johannes Gehrke and
Hossein Hojjat and
Christoph Koch},
title = {Writes that Fall in the Forest and Make no Sound: Semantics-Based
Adaptive Data Consistency},
journal = {CoRR},
volume = {abs/1403.2307},
year = {2014},
url = {http://arxiv.org/abs/1403.2307},
eprinttype = {arXiv},
eprint = {1403.2307},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0002KFGHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/McClurgFC14,
author = {Jedidiah McClurg and
Nate Foster and
Pavol Cern{\'{y}}},
title = {Efficient Synthesis of Network Updates},
journal = {CoRR},
volume = {abs/1403.5843},
year = {2014},
url = {http://arxiv.org/abs/1403.5843},
eprinttype = {arXiv},
eprint = {1403.5843},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/McClurgFC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SouleBMPKSF14,
author = {Robert Soul{\'{e}} and
Shrutarshi Basu and
Parisa Jalili Marandi and
Fernando Pedone and
Robert Kleinberg and
Emin G{\"{u}}n Sirer and
Nate Foster},
title = {Merlin: {A} Language for Provisioning Network Resources},
journal = {CoRR},
volume = {abs/1407.1199},
year = {2014},
url = {http://arxiv.org/abs/1407.1199},
eprinttype = {arXiv},
eprint = {1407.1199},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SouleBMPKSF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/FosterGRSFKMRRSWH13,
author = {Nate Foster and
Arjun Guha and
Mark Reitblatt and
Alec Story and
Michael J. Freedman and
Naga Praveen Katta and
Christopher Monsanto and
Joshua Reich and
Jennifer Rexford and
Cole Schlesinger and
David Walker and
Rob Harrison},
title = {Languages for software-defined networks},
journal = {{IEEE} Commun. Mag.},
volume = {51},
number = {2},
pages = {128--134},
year = {2013},
url = {https://doi.org/10.1109/MCOM.2013.6461197},
doi = {10.1109/MCOM.2013.6461197},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/FosterGRSFKMRRSWH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RajkumarFLC13,
author = {Raghu Rajkumar and
Nate Foster and
Sam Lindley and
James Cheney},
title = {Lenses for Web Data},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {57},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.57.879},
doi = {10.14279/TUJ.ECEASST.57.879},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RajkumarFLC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/usenix-login/ReichMFRW13,
author = {Joshua Reich and
Christopher Monsanto and
Nate Foster and
Jennifer Rexford and
David Walker},
title = {Modular {SDN} Programming with Pyretic},
journal = {login Usenix Mag.},
volume = {38},
number = {5},
year = {2013},
url = {https://www.usenix.org/publications/login/october-2013-volume-38-number-5/modular-sdn-programming-pyretic},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/usenix-login/ReichMFRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FosterGRS13,
author = {Nate Foster and
Arjun Guha and
Mark Reitblatt and
Cole Schlesinger},
title = {Tutorial: Practical verification of network programs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {9--10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FMCAD.2013.7035518},
doi = {10.1109/FMCAD.2013.7035518},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/FosterGRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/SouleBKSF13,
author = {Robert Soul{\'{e}} and
Shrutarshi Basu and
Robert Kleinberg and
Emin G{\"{u}}n Sirer and
Nate Foster},
editor = {Dave Levine and
Sachin Katti and
Dave Oran},
title = {Managing the network with Merlin},
booktitle = {Twelfth {ACM} Workshop on Hot Topics in Networks, HotNets-XII, College
Park, MD, USA, November 21-22, 2013},
pages = {24:1--24:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2535771.2535792},
doi = {10.1145/2535771.2535792},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/SouleBKSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/MonsantoRFRW13,
author = {Christopher Monsanto and
Joshua Reich and
Nate Foster and
Jennifer Rexford and
David Walker},
editor = {Nick Feamster and
Jeffrey C. Mogul},
title = {Composing Software Defined Networks},
booktitle = {Proceedings of the 10th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2013, Lombard, IL, USA, April 2-5, 2013},
pages = {1--13},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/monsanto},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/MonsantoRFRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuhaRF13,
author = {Arjun Guha and
Mark Reitblatt and
Nate Foster},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Machine-verified network controllers},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {483--494},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462178},
doi = {10.1145/2491956.2462178},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GuhaRF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ReitblattCGF13,
author = {Mark Reitblatt and
Marco Canini and
Arjun Guha and
Nate Foster},
editor = {Nate Foster and
Rob Sherwood},
title = {FatTire: declarative fault tolerance for software-defined networks},
booktitle = {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},
pages = {109--114},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491185.2491187},
doi = {10.1145/2491185.2491187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/ReitblattCGF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/VanbeverRBFR13,
author = {Laurent Vanbever and
Joshua Reich and
Theophilus Benson and
Nate Foster and
Jennifer Rexford},
editor = {Nate Foster and
Rob Sherwood},
title = {HotSwap: correct and efficient controller upgrades for software-defined
networks},
booktitle = {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},
pages = {133--138},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491185.2491194},
doi = {10.1145/2491185.2491194},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/VanbeverRBFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NoyesWCF14,
author = {Andrew Noyes and
Todd Warszawski and
Pavol Cern{\'{y}} and
Nate Foster},
editor = {Bernd Finkbeiner and
Armando Solar{-}Lezama},
title = {Toward Synthesis of Network Updates},
booktitle = {Proceedings Second Workshop on Synthesis, {SYNT} 2013, Saint Petersburg,
Russia, July 13th and July 14th, 2013},
series = {{EPTCS}},
volume = {142},
pages = {8--23},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.142.8},
doi = {10.4204/EPTCS.142.8},
timestamp = {Thu, 14 Oct 2021 09:13:55 +0200},
biburl = {https://dblp.org/rec/journals/corr/NoyesWCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2013hotsdn,
editor = {Nate Foster and
Rob Sherwood},
title = {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},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2491185},
isbn = {978-1-4503-2178-5},
timestamp = {Mon, 09 Sep 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/2013hotsdn.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MonsantoFHW12,
author = {Christopher Monsanto and
Nate Foster and
Rob Harrison and
David Walker},
editor = {John Field and
Michael Hicks},
title = {A compiler and run-time system for network programming languages},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {217--230},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103685},
doi = {10.1145/2103656.2103685},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MonsantoFHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/GutzSSF12,
author = {Stephen Gutz and
Alec Story and
Cole Schlesinger and
Nate Foster},
editor = {Nick Feamster and
Jennifer Rexford},
title = {Splendid isolation: a slice abstraction for software-defined networks},
booktitle = {Proceedings of the first workshop on Hot topics in software defined
networks, HotSDN@SIGCOMM 2012, Helsinki, Finland, August 13, 2012},
pages = {79--84},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2342441.2342458},
doi = {10.1145/2342441.2342458},
timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/GutzSSF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ReitblattFRSW12,
author = {Mark Reitblatt and
Nate Foster and
Jennifer Rexford and
Cole Schlesinger and
David Walker},
editor = {Lars Eggert and
J{\"{o}}rg Ott and
Venkata N. Padmanabhan and
George Varghese},
title = {Abstractions for network update},
booktitle = {{ACM} {SIGCOMM} 2012 Conference, {SIGCOMM} '12, Helsinki, Finland
- August 13 - 17, 2012},
pages = {323--334},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2342356.2342427},
doi = {10.1145/2342356.2342427},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/ReitblattFRSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/HaydenMHFF12,
author = {Christopher M. Hayden and
Stephen Magill and
Michael Hicks and
Nate Foster and
Jeffrey S. Foster},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Specifying and Verifying the Correctness of Dynamic Software Updates},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {278--293},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_22},
doi = {10.1007/978-3-642-27705-4\_22},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/HaydenMHFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/ReitblattFRW11,
author = {Mark Reitblatt and
Nate Foster and
Jennifer Rexford and
David Walker},
editor = {Hari Balakrishnan and
Dina Katabi and
Aditya Akella and
Ion Stoica},
title = {Consistent updates for software-defined networks: change you can believe
in!},
booktitle = {Tenth {ACM} Workshop on Hot Topics in Networks (HotNets-X), {HOTNETS}
'11, Cambridge, MA, {USA} - November 14 - 15, 2011},
pages = {7},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2070562.2070569},
doi = {10.1145/2070562.2070569},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotnets/ReitblattFRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FosterHFMRSW11,
author = {Nate Foster and
Rob Harrison and
Michael J. Freedman and
Christopher Monsanto and
Jennifer Rexford and
Alec Story and
David Walker},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Frenetic: a network programming language},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {279--291},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034812},
doi = {10.1145/2034773.2034812},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FosterHFMRSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FisherFWZ11,
author = {Kathleen Fisher and
Nate Foster and
David Walker and
Kenny Qili Zhu},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Forest: a language and toolkit for programming with filestores},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {292--306},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034814},
doi = {10.1145/2034773.2034814},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FisherFWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/2011,
editor = {Nate Foster and
Anastasios Kementsietsidis},
title = {Database Programming Languages - {DBPL} 201, 13th International Symposium,
Seattle, Washington, USA, August 29, 2011. Proceedings},
year = {2011},
timestamp = {Tue, 18 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/FosterFHRMW10,
author = {Nate Foster and
Michael J. Freedman and
Rob Harrison and
Jennifer Rexford and
Matthew L. Meola and
David Walker},
editor = {T. S. Eugene Ng and
Sylvia Ratnasamy and
Jonathan M. Smith},
title = {Frenetic: a high-level language for OpenFlow networks},
booktitle = {Proceedings of the Workshop on Programmable Routers for Extensible
Services of Tomorrow, {PRESTO} '10, Philadelphia, Pennsylvania, USA,
November 30, 2010},
pages = {6:1--6:6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1921151.1921160},
doi = {10.1145/1921151.1921160},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/conext/FosterFHRMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BarbosaCFGP10,
author = {Davi M. J. Barbosa and
Julien Cretin and
Nate Foster and
Michael Greenberg and
Benjamin C. Pierce},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Matching lenses: alignment and view update},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {193--204},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863572},
doi = {10.1145/1863543.1863572},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BarbosaCFGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssgip/FosterMV10,
author = {Nate Foster and
Kazutaka Matsuda and
Janis Voigtl{\"{a}}nder},
editor = {Jeremy Gibbons},
title = {Three Complementary Approaches to Bidirectional Programming},
booktitle = {Generic and Indexed Programming - International Spring School, {SSGIP}
2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7470},
pages = {1--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-32202-0\_1},
doi = {10.1007/978-3-642-32202-0\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ssgip/FosterMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/FosterPZ09,
author = {J. Nathan Foster and
Benjamin C. Pierce and
Steve Zdancewic},
title = {Updatable Security Views},
booktitle = {Proceedings of the 22nd {IEEE} Computer Security Foundations Symposium,
{CSF} 2009, Port Jefferson, New York, USA, July 8-10, 2009},
pages = {60--74},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSF.2009.25},
doi = {10.1109/CSF.2009.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/FosterPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/CzarneckiFHLST09,
author = {Krzysztof Czarnecki and
J. Nathan Foster and
Zhenjiang Hu and
Ralf L{\"{a}}mmel and
Andy Sch{\"{u}}rr and
James F. Terwilliger},
editor = {Richard F. Paige},
title = {Bidirectional Transformations: {A} Cross-Discipline Perspective},
booktitle = {Theory and Practice of Model Transformations - 2nd International Conference,
ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5563},
pages = {260--283},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02408-5\_19},
doi = {10.1007/978-3-642-02408-5\_19},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmt/CzarneckiFHLST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CheneyCFSV09,
author = {James Cheney and
Stephen Chong and
Nate Foster and
Margo I. Seltzer and
Stijn Vansummeren},
editor = {Shail Arora and
Gary T. Leavens},
title = {Provenance: a future history},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {957--964},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1640064},
doi = {10.1145/1639950.1640064},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/CheneyCFSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FosterPP08,
author = {J. Nathan Foster and
Alexandre Pilkiewicz and
Benjamin C. Pierce},
editor = {James Hook and
Peter Thiemann},
title = {Quotient lenses},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {383--396},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411257},
doi = {10.1145/1411204.1411257},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FosterPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FernandezFFGM08,
author = {Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
J. Nathan Foster and
Michael Greenberg and
Yitzhak Mandelbaum},
editor = {Paul Hudak and
David Scott Warren},
title = {A Generic Programming Toolkit for {PADS/ML:} First-Class Upgrades
for Third-Party Developers},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {133--149},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_10},
doi = {10.1007/978-3-540-77442-6\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/FernandezFFGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/FosterKSV08,
author = {J. Nathan Foster and
Ravi B. Konuru and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Lionel Villard},
title = {An Algebraic Approach to View Maintenance for XQuery},
booktitle = {{PLAN-X} 2008, Programming Language Technologies for XML, An {ACM}
{SIGPLAN} Workshop colocated with {POPL} 2008, San Francisco, California,
USA, January 9, 2008},
year = {2008},
url = {http://gemo.futurs.inria.fr/events/PLANX2008/papers/p31.pdf},
timestamp = {Wed, 08 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/planX/FosterKSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FosterGT08,
author = {J. Nathan Foster and
Todd J. Green and
Val Tannen},
editor = {Maurizio Lenzerini and
Domenico Lembo},
title = {Annotated {XML:} queries and provenance},
booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
BC, Canada},
pages = {271--280},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376916.1376954},
doi = {10.1145/1376916.1376954},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/FosterGT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BohannonFPPS08,
author = {Aaron Bohannon and
J. Nathan Foster and
Benjamin C. Pierce and
Alexandre Pilkiewicz and
Alan Schmitt},
editor = {George C. Necula and
Philip Wadler},
title = {Boomerang: resourceful lenses for string data},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {407--419},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328487},
doi = {10.1145/1328438.1328487},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/BohannonFPPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/FosterK07,
author = {J. Nathan Foster and
Grigoris Karvounarakis},
title = {Provenance and Data Synchronization},
journal = {{IEEE} Data Eng. Bull.},
volume = {30},
number = {4},
pages = {13--21},
year = {2007},
url = {http://sites.computer.org/debull/A07dec/foster.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/FosterK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FosterGKPS07,
author = {J. Nathan Foster and
Michael B. Greenwald and
Christian Kirkegaard and
Benjamin C. Pierce and
Alan Schmitt},
title = {Exploiting schemas in data synchronization},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {4},
pages = {669--689},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.10.024},
doi = {10.1016/J.JCSS.2006.10.024},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FosterGKPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FosterGMPS07,
author = {J. Nathan Foster and
Michael B. Greenwald and
Jonathan T. Moore and
Benjamin C. Pierce and
Alan Schmitt},
title = {Combinators for bidirectional tree transformations: {A} linguistic
approach to the view-update problem},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {17},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232424},
doi = {10.1145/1232420.1232424},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FosterGMPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/FosterPS07,
author = {J. Nathan Foster and
Benjamin C. Pierce and
Alan Schmitt},
title = {A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice},
booktitle = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
{SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
20, 2007},
pages = {80--90},
year = {2007},
url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/planX/FosterPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/FosterV06,
author = {J. Nathan Foster and
Dimitrios Vytiniotis},
title = {A Theory of Featherweight Java in Isabelle/HOL},
journal = {Arch. Formal Proofs},
volume = {2006},
year = {2006},
url = {https://www.isa-afp.org/entries/FeatherweightJava.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/FosterV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/FosterGKPS05,
author = {J. Nathan Foster and
Michael B. Greenwald and
Christian Kirkegaard and
Benjamin C. Pierce and
Alan Schmitt},
editor = {Gavin M. Bierman and
Christoph Koch},
title = {Exploiting Schemas in Data Synchronization},
booktitle = {Database Programming Languages, 10th International Symposium, {DBPL}
2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3774},
pages = {42--57},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601524\_3},
doi = {10.1007/11601524\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/FosterGKPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FosterGMPS05,
author = {J. Nathan Foster and
Michael B. Greenwald and
Jonathan T. Moore and
Benjamin C. Pierce and
Alan Schmitt},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Combinators for bi-directional tree transformations: a linguistic
approach to the view update problem},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {233--246},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040325},
doi = {10.1145/1040305.1040325},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/FosterGMPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AydemirBFFPSVWWZ05,
author = {Brian E. Aydemir and
Aaron Bohannon and
Matthew Fairbairn and
J. Nathan Foster and
Benjamin C. Pierce and
Peter Sewell and
Dimitrios Vytiniotis and
Geoffrey Washburn and
Stephanie Weirich and
Steve Zdancewic},
editor = {Joe Hurd and
Thomas F. Melham},
title = {Mechanized Metatheory for the Masses: The PoplMark Challenge},
booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference,
TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3603},
pages = {50--65},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11541868\_4},
doi = {10.1007/11541868\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AydemirBFFPSVWWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BruceF04,
author = {Kim B. Bruce and
J. Nathan Foster},
editor = {Martin Odersky},
title = {{LOOJ:} Weaving {LOOM} into Java},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {389--413},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_18},
doi = {10.1007/978-3-540-24851-4\_18},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BruceF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
