Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael Burrows
@inproceedings{DBLP:conf/nips/PhothilimthanaA23,
author = {Mangpo Mangpo Phothilimthana and
Sami Abu{-}El{-}Haija and
Kaidi Cao and
Bahare Fatemi and
Michael Burrows and
Charith Mendis and
Bryan Perozzi},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {TpuGraphs: {A} Performance Prediction Dataset on Large Tensor Computational
Graphs},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/ded1a89e2b3b925444ada973af66336e-Abstract-Datasets\_and\_Benchmarks.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/PhothilimthanaA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/PhothilimthanaS21,
author = {Phitchaya Mangpo Phothilimthana and
Amit Sabne and
Nikhil Sarda and
Karthik Srinivasa Murthy and
Yanqi Zhou and
Christof Angermueller and
Mike Burrows and
Sudip Roy and
Ketan Mandke and
Rezsa Farahani and
Yu Emma Wang and
Berkin Ilbeyi and
Blake A. Hechtman and
Bjarke Roune and
Shen Wang and
Yuanzhong Xu and
Samuel J. Kaufman},
editor = {Jaejin Lee and
Albert Cohen},
title = {A Flexible Approach to Autotuning Multi-Pass Machine Learning Compilers},
booktitle = {30th International Conference on Parallel Architectures and Compilation
Techniques, {PACT} 2021, Atlanta, GA, USA, September 26-29, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/PACT52795.2021.00008},
doi = {10.1109/PACT52795.2021.00008},
timestamp = {Mon, 06 Nov 2023 15:27:23 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/PhothilimthanaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/KaufmanPZM0SB21,
author = {Samuel J. Kaufman and
Phitchaya Mangpo Phothilimthana and
Yanqi Zhou and
Charith Mendis and
Sudip Roy and
Amit Sabne and
Mike Burrows},
editor = {Alex Smola and
Alex Dimakis and
Ion Stoica},
title = {A Learned Performance Model for Tensor Processing Units},
booktitle = {Proceedings of Machine Learning and Systems 2021, MLSys 2021, virtual,
April 5-9, 2021},
publisher = {mlsys.org},
year = {2021},
url = {https://proceedings.mlsys.org/paper/2021/hash/85d8ce590ad8981ca2c8286f79f59954-Abstract.html},
timestamp = {Mon, 23 May 2022 11:55:02 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/KaufmanPZM0SB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01040,
author = {Samuel J. Kaufman and
Phitchaya Mangpo Phothilimthana and
Yanqi Zhou and
Mike Burrows},
title = {A Learned Performance Model for the Tensor Processing Unit},
journal = {CoRR},
volume = {abs/2008.01040},
year = {2020},
url = {https://arxiv.org/abs/2008.01040},
eprinttype = {arXiv},
eprint = {2008.01040},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/PangCBCDGGGKKKP19,
author = {Ruoming Pang and
Ram{\'{o}}n C{\'{a}}ceres and
Mike Burrows and
Zhifeng Chen and
Pratik Dave and
Nathan Germer and
Alexander Golynski and
Kevin Graney and
Nina Kang and
Lea Kissner and
Jeffrey L. Korn and
Abhishek Parmar and
Christopher D. Richards and
Mengzhi Wang},
editor = {Dahlia Malkhi and
Dan Tsafrir},
title = {Zanzibar: Google's Consistent, Global Authorization System},
booktitle = {2019 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2019, Renton,
WA, USA, July 10-12, 2019},
pages = {33--46},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/atc19/presentation/pang},
timestamp = {Mon, 01 Feb 2021 17:03:06 +0100},
biburl = {https://dblp.org/rec/conf/usenix/PangCBCDGGGKKKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/YuABBBDDGHHIKMM18,
author = {Yuan Yu and
Mart{\'{\i}}n Abadi and
Paul Barham and
Eugene Brevdo and
Mike Burrows and
Andy Davis and
Jeff Dean and
Sanjay Ghemawat and
Tim Harley and
Peter Hawkins and
Michael Isard and
Manjunath Kudlur and
Rajat Monga and
Derek Gordon Murray and
Xiaoqiang Zheng},
editor = {Rui Oliveira and
Pascal Felber and
Y. Charlie Hu},
title = {Dynamic control flow in large-scale machine learning},
booktitle = {Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto,
Portugal, April 23-26, 2018},
pages = {18:1--18:15},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3190508.3190551},
doi = {10.1145/3190508.3190551},
timestamp = {Thu, 23 Jun 2022 19:57:07 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/YuABBBDDGHHIKMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-01772,
author = {Yuan Yu and
Mart{\'{\i}}n Abadi and
Paul Barham and
Eugene Brevdo and
Mike Burrows and
Andy Davis and
Jeff Dean and
Sanjay Ghemawat and
Tim Harley and
Peter Hawkins and
Michael Isard and
Manjunath Kudlur and
Rajat Monga and
Derek Gordon Murray and
Xiaoqiang Zheng},
title = {Dynamic Control Flow in Large-Scale Machine Learning},
journal = {CoRR},
volume = {abs/1805.01772},
year = {2018},
url = {http://arxiv.org/abs/1805.01772},
eprinttype = {arXiv},
eprint = {1805.01772},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-01772.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbadiBPSST15,
author = {Mart{\'{\i}}n Abadi and
Mike Burrows and
Himabindu Pucha and
Adam Sadovsky and
Asim Shankar and
Ankur Taly},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Distributed Authorization with Distributed Grammars},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {10--26},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_3},
doi = {10.1007/978-3-319-25527-9\_3},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbadiBPSST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/ChangDGHWBCFG08,
author = {Fay Chang and
Jeffrey Dean and
Sanjay Ghemawat and
Wilson C. Hsieh and
Deborah A. Wallach and
Michael Burrows and
Tushar Chandra and
Andrew Fikes and
Robert E. Gruber},
title = {Bigtable: {A} Distributed Storage System for Structured Data},
journal = {{ACM} Trans. Comput. Syst.},
volume = {26},
number = {2},
pages = {4:1--4:26},
year = {2008},
url = {https://doi.org/10.1145/1365815.1365816},
doi = {10.1145/1365815.1365816},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocs/ChangDGHWBCFG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ChangDGHWBCFG06,
author = {Fay Chang and
Jeffrey Dean and
Sanjay Ghemawat and
Wilson C. Hsieh and
Deborah A. Wallach and
Michael Burrows and
Tushar Chandra and
Andrew Fikes and
Robert Gruber},
editor = {Brian N. Bershad and
Jeffrey C. Mogul},
title = {Bigtable: {A} Distributed Storage System for Structured Data (Awarded
Best Paper!)},
booktitle = {7th Symposium on Operating Systems Design and Implementation {(OSDI}
'06), November 6-8, Seattle, WA, {USA}},
pages = {205--218},
publisher = {{USENIX} Association},
year = {2006},
url = {http://www.usenix.org/events/osdi06/tech/chang.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/ChangDGHWBCFG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/Burrows06,
author = {Michael Burrows},
editor = {Brian N. Bershad and
Jeffrey C. Mogul},
title = {The Chubby Lock Service for Loosely-Coupled Distributed Systems},
booktitle = {7th Symposium on Operating Systems Design and Implementation {(OSDI}
'06), November 6-8, Seattle, WA, {USA}},
pages = {335--350},
publisher = {{USENIX} Association},
year = {2006},
url = {http://www.usenix.org/events/osdi06/tech/burrows.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/Burrows06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/AbadiBMW05,
author = {Mart{\'{\i}}n Abadi and
Michael Burrows and
Mark S. Manasse and
Ted Wobber},
title = {Moderately hard, memory-bound functions},
journal = {{ACM} Trans. Internet Techn.},
volume = {5},
number = {2},
pages = {299--327},
year = {2005},
url = {https://doi.org/10.1145/1064340.1064341},
doi = {10.1145/1064340.1064341},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toit/AbadiBMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BurrowsL04,
author = {Michael Burrows and
K. Rustan M. Leino},
title = {Finding stale-value errors in concurrent programs},
journal = {Concurr. Pract. Exp.},
volume = {16},
number = {12},
pages = {1161--1172},
year = {2004},
url = {https://doi.org/10.1002/cpe.866},
doi = {10.1002/CPE.866},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/BurrowsL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/AbadiBBDW03,
author = {Mart{\'{\i}}n Abadi and
Andrew Birrell and
Michael Burrows and
Frank Dabek and
Ted Wobber},
editor = {Vijay A. Saraswat},
title = {Bankable Postage for Network Services},
booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
and Distributed Computation, 8th Asian Computing Science Conference,
Mumbai, India, December 10-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2896},
pages = {72--90},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40965-6\_6},
doi = {10.1007/978-3-540-40965-6\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/AbadiBBDW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BurrowsFW03,
author = {Michael Burrows and
Stephen N. Freund and
Janet L. Wiener},
editor = {G{\"{o}}rel Hedin},
title = {Run-Time Type Checking for Binary Programs},
booktitle = {Compiler Construction, 12th International Conference, {CC} 2003, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2622},
pages = {90--105},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36579-6\_7},
doi = {10.1007/3-540-36579-6\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/BurrowsFW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/AguileraJLMOABMT03,
author = {Marcos Kawazoe Aguilera and
Minwen Ji and
Mark Lillibridge and
John MacCormick and
Erwin Oertli and
David G. Andersen and
Michael Burrows and
Timothy P. Mann and
Chandramohan A. Thekkath},
editor = {Jeff Chase},
title = {Block-Level Security for Network-Attached Disks},
booktitle = {Proceedings of the {FAST} '03 Conference on File and Storage Technologies,
March 31 - April 2, 2003, Cathedral Hill Hotel, San Francisco, California,
{USA}},
publisher = {{USENIX}},
year = {2003},
url = {http://www.usenix.org/events/fast03/tech/aguilera.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fast/AguileraJLMOABMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/AbadiBW03,
author = {Mart{\'{\i}}n Abadi and
Michael Burrows and
Ted Wobber},
title = {Moderately Hard, Memory-Bound Functions},
booktitle = {Proceedings of the Network and Distributed System Security Symposium,
{NDSS} 2003, San Diego, California, {USA}},
publisher = {The Internet Society},
year = {2003},
url = {https://www.ndss-symposium.org/ndss2003/moderately-hard-memory-bound-functions/},
timestamp = {Mon, 01 Feb 2021 08:42:24 +0100},
biburl = {https://dblp.org/rec/conf/ndss/AbadiBW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/LillibridgeEBBI03,
author = {Mark Lillibridge and
Sameh Elnikety and
Andrew Birrell and
Michael Burrows and
Michael Isard},
title = {A Cooperative Internet Backup Scheme},
booktitle = {Proceedings of the General Track: 2003 {USENIX} Annual Technical Conference,
June 9-14, 2003, San Antonio, Texas, {USA}},
pages = {29--41},
publisher = {{USENIX}},
year = {2003},
url = {http://www.usenix.org/events/usenix03/tech/lillibridge.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/LillibridgeEBBI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BurrowsELVWWW00,
author = {Michael Burrows and
{\'{U}}lfar Erlingsson and
Shun{-}Tak Leung and
Mark T. Vandevoorde and
Carl A. Waldspurger and
Kip Walker and
William E. Weihl},
editor = {Larry Rudolph and
Anoop Gupta},
title = {Efficient and Flexible Value Sampling},
booktitle = {{ASPLOS-IX} Proceedings of the 9th International Conference on Architectural
Support for Programming Languages and Operating Systems, Cambridge,
MA, USA, November 12-15, 2000},
pages = {160--167},
publisher = {{ACM} Press},
year = {2000},
url = {https://doi.org/10.1145/378993.379236},
doi = {10.1145/378993.379236},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/BurrowsELVWWW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/DoornABW99,
author = {Leendert van Doorn and
Mart{\'{\i}}n Abadi and
Michael Burrows and
Edward Wobber},
editor = {Jan Vitek and
Christian Damsgaard Jensen},
title = {Secure Network Objects},
booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed
Objects},
series = {Lecture Notes in Computer Science},
volume = {1603},
pages = {395--412},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48749-2\_18},
doi = {10.1007/3-540-48749-2\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/DoornABW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/SavageBNSA97,
author = {Stefan Savage and
Michael Burrows and
Greg Nelson and
Patrick Sobalvarro and
Thomas E. Anderson},
title = {Eraser: {A} Dynamic Data Race Detector for Multithreaded Programs},
journal = {{ACM} Trans. Comput. Syst.},
volume = {15},
number = {4},
pages = {391--411},
year = {1997},
url = {https://doi.org/10.1145/265924.265927},
doi = {10.1145/265924.265927},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/SavageBNSA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SavageABNS97,
author = {Stefan Savage and
Michael Burrows and
Greg Nelson and
Patrick Sobalvarro and
Thomas E. Anderson},
editor = {Michel Ban{\^{a}}tre and
Henry M. Levy and
William M. Waite},
title = {Eraser: {A} Dynamic Data Race Detector for Multi-Threaded Programs},
booktitle = {Proceedings of the Sixteenth {ACM} Symposium on Operating System Principles,
{SOSP} 1997, St. Malo, France, October 5-8, 1997},
pages = {27--37},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/268998.266641},
doi = {10.1145/268998.266641},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SavageABNS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ScaleskBT96,
author = {Daniel J. Scales and
Michael Burrows and
Chandramohan A. Thekkath},
title = {Experience with Parallel Computing on the {AN2} Network},
booktitle = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
pages = {94--103},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/IPPS.1996.508044},
doi = {10.1109/IPPS.1996.508044},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ScaleskBT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DoornABW96,
author = {Leendert van Doorn and
Mart{\'{\i}}n Abadi and
Michael Burrows and
Edward Wobber},
title = {Secure Network Objects},
booktitle = {1996 {IEEE} Symposium on Security and Privacy, May 6-8, 1996, Oakland,
CA, {USA}},
pages = {211--221},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/SECPRI.1996.502683},
doi = {10.1109/SECPRI.1996.502683},
timestamp = {Thu, 21 Sep 2023 15:57:36 +0200},
biburl = {https://dblp.org/rec/conf/sp/DoornABW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/HausnerBT95,
author = {Matthias Hausner and
Michael Burrows and
Chandramohan A. Thekkath},
editor = {Louis O. Hertzberger and
Giuseppe Serazzi},
title = {Efficient implementation of {PVM} on the {AN2} {ATM} network},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1995, Milan, Italy, May 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {919},
pages = {562--569},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0046682},
doi = {10.1007/BFB0046682},
timestamp = {Wed, 16 Mar 2022 23:55:31 +0100},
biburl = {https://dblp.org/rec/conf/hpcn/HausnerBT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/WobberAB94,
author = {Edward Wobber and
Mart{\'{\i}}n Abadi and
Michael Burrows},
title = {Authentication in the Taos Operating System},
journal = {{ACM} Trans. Comput. Syst.},
volume = {12},
number = {1},
pages = {3--32},
year = {1994},
url = {https://doi.org/10.1145/174613.174614},
doi = {10.1145/174613.174614},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/WobberAB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AbadiBKL93,
author = {Mart{\'{\i}}n Abadi and
Michael Burrows and
C. Kaufman and
Butler W. Lampson},
title = {Authentification and Delegation with Smart-Cards},
journal = {Sci. Comput. Program.},
volume = {21},
number = {2},
pages = {93--113},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90002-7},
doi = {10.1016/0167-6423(93)90002-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AbadiBKL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AbadiBLP93,
author = {Mart{\'{\i}}n Abadi and
Michael Burrows and
Butler W. Lampson and
Gordon D. Plotkin},
title = {A Calculus for Access Control in Distributed Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {15},
number = {4},
pages = {706--734},
year = {1993},
url = {https://doi.org/10.1145/155183.155225},
doi = {10.1145/155183.155225},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AbadiBLP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WobberABL93,
author = {Edward Wobber and
Mart{\'{\i}}n Abadi and
Michael Burrows and
Butler W. Lampson},
editor = {Andrew P. Black and
Barbara Liskov},
title = {Authentication in the Taos Operating System},
booktitle = {Proceedings of the Fourteenth {ACM} Symposium on Operating System
Principles, {SOSP} 1993, The Grove Park Inn and Country Club, Asheville,
North Carolina, USA, December 5-8, 1993},
pages = {256--269},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/168619.168640},
doi = {10.1145/168619.168640},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/WobberABL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/LampsonABW92,
author = {Butler W. Lampson and
Mart{\'{\i}}n Abadi and
Michael Burrows and
Edward Wobber},
title = {Authentication in Distributed Systems: Theory and Practice},
journal = {{ACM} Trans. Comput. Syst.},
volume = {10},
number = {4},
pages = {265--310},
year = {1992},
url = {https://doi.org/10.1145/138873.138874},
doi = {10.1145/138873.138874},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/LampsonABW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BurrowsJLM92,
author = {Michael Burrows and
Charles Jerian and
Butler W. Lampson and
Timothy P. Mann},
editor = {Barry Flahive and
Richard L. Wexelblat},
title = {On-Line Data Compression in a Log-Structured File System},
booktitle = {{ASPLOS-V} Proceedings - Fifth International Conference on Architectural
Support for Programming Languages and Operating Systems, Boston, Massachusetts,
USA, October 12-15, 1992},
pages = {2--9},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143365.143376},
doi = {10.1145/143365.143376},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/BurrowsJLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/SchroederBBMNRST91,
author = {Michael D. Schroeder and
Andrew Birrell and
Michael Burrows and
Hal Murray and
Roger M. Needham and
Thomas L. Rodeheffer and
Edwin H. Satterthwaite and
Charles P. Thacker},
title = {Autonet: {A} High-Speed, Self-Configuring Local Area Network Using
Point-to-Point Links},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {9},
number = {8},
pages = {1318--1335},
year = {1991},
url = {https://doi.org/10.1109/49.105178},
doi = {10.1109/49.105178},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/SchroederBBMNRST91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/AbadiBLP91,
author = {Mart{\'{\i}}n Abadi and
Michael Burrows and
Butler W. Lampson and
Gordon D. Plotkin},
editor = {Joan Feigenbaum},
title = {A Calculus for Access Control in Distributed Systems},
booktitle = {Advances in Cryptology - {CRYPTO} '91, 11th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 11-15, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {576},
pages = {1--23},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-46766-1\_1},
doi = {10.1007/3-540-46766-1\_1},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/crypto/AbadiBLP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LampsonABW91,
author = {Butler W. Lampson and
Mart{\'{\i}}n Abadi and
Michael Burrows and
Edward Wobber},
editor = {Henry M. Levy},
title = {Authentication in Distributed Systems: Theory and Practice},
booktitle = {Proceedings of the Thirteenth {ACM} Symposium on Operating System
Principles, {SOSP} 1991, Asilomar Conference Center, Pacific Grove,
California, USA, October 13-16, 1991},
pages = {165--182},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/121132.121160},
doi = {10.1145/121132.121160},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/LampsonABW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AbadiBKL91,
author = {Mart{\'{\i}}n Abadi and
Michael Burrows and
C. Kaufman and
Butler W. Lampson},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Authentication and Delegation with Smart-cards},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {326--345},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_53},
doi = {10.1007/3-540-54415-1\_53},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AbadiBKL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/BurrowsAN90,
author = {Michael Burrows and
Mart{\'{\i}}n Abadi and
Roger M. Needham},
title = {Rejoinder to Nessett},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {24},
number = {2},
pages = {39--40},
year = {1990},
url = {https://doi.org/10.1145/382258.382790},
doi = {10.1145/382258.382790},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/BurrowsAN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/SchroederB90,
author = {Michael D. Schroeder and
Michael Burrows},
title = {Performance of Firefly {RPC}},
journal = {{ACM} Trans. Comput. Syst.},
volume = {8},
number = {1},
pages = {1--17},
year = {1990},
url = {https://doi.org/10.1145/77648.77653},
doi = {10.1145/77648.77653},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/SchroederB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/BurrowsAN90,
author = {Michael Burrows and
Mart{\'{\i}}n Abadi and
Roger M. Needham},
title = {A Logic of Authentication},
journal = {{ACM} Trans. Comput. Syst.},
volume = {8},
number = {1},
pages = {18--36},
year = {1990},
url = {https://doi.org/10.1145/77648.77649},
doi = {10.1145/77648.77649},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/BurrowsAN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BurrowsAN89,
author = {Michael Burrows and
Mart{\'{\i}}n Abadi and
Roger M. Needham},
editor = {Joan Feigenbaum and
Michael Merritt},
title = {The Scope of a Logic of Authentication},
booktitle = {Distributed Computing And Cryptography, Proceedings of a {DIMACS}
Workshop, Princeton, New Jersey, USA, October 4-6, 1989},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {2},
pages = {119--126},
publisher = {{DIMACS/AMS}},
year = {1989},
url = {https://doi.org/10.1090/dimacs/002/07},
doi = {10.1090/DIMACS/002/07},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/BurrowsAN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BurrowsAN89,
author = {Michael Burrows and
Mart{\'{\i}}n Abadi and
Roger M. Needham},
editor = {Gregory R. Andrews},
title = {A Logic of Authentication},
booktitle = {Proceedings of the Twelfth {ACM} Symposium on Operating System Principles,
{SOSP} 1989, The Wigwam, Litchfield Park, Arizona, USA, December 3-6,
1989},
pages = {1--13},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74850.74852},
doi = {10.1145/74850.74852},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BurrowsAN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SchroederB89,
author = {Michael D. Schroeder and
Michael Burrows},
editor = {Gregory R. Andrews},
title = {Performance of Firefly {RPC}},
booktitle = {Proceedings of the Twelfth {ACM} Symposium on Operating System Principles,
{SOSP} 1989, The Wigwam, Litchfield Park, Arizona, USA, December 3-6,
1989},
pages = {83--90},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74850.74859},
doi = {10.1145/74850.74859},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SchroederB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Burrows88,
author = {Michael Burrows},
title = {Efficient data sharing},
school = {University of Cambridge, {UK}},
year = {1988},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303293},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Burrows88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/NeedhamB88,
author = {Roger M. Needham and
Michael Burrows},
title = {Locks in Distributed Systems - Observations},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {22},
number = {3},
pages = {44},
year = {1988},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/NeedhamB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BurrowsAN88,
author = {Michael Burrows and
Mart{\'{\i}}n Abadi and
Roger M. Needham},
editor = {Moshe Y. Vardi},
title = {Authentication: {A} Practical Study in Belief and Action},
booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1988},
pages = {325--342},
publisher = {Morgan Kaufmann},
year = {1988},
timestamp = {Thu, 21 Jun 2018 07:50:39 +0200},
biburl = {https://dblp.org/rec/conf/tark/BurrowsAN88.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 02:38 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:
