Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.