BibTeX records: Roy Levin

download as .bib file

@incollection{DBLP:books/acm/19/Levin19,
  author       = {Roy Levin},
  editor       = {Dahlia Malkhi},
  title        = {Biography},
  booktitle    = {Concurrency: the Works of Leslie Lamport},
  pages        = {131--170},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3335772.3335781},
  doi          = {10.1145/3335772.3335781},
  timestamp    = {Tue, 07 Apr 2020 17:11:02 +0200},
  biburl       = {https://dblp.org/rec/books/acm/19/Levin19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictir/LevinR17,
  author       = {Roy Levin and
                  Haggai Roitman},
  editor       = {Jaap Kamps and
                  Evangelos Kanoulas and
                  Maarten de Rijke and
                  Hui Fang and
                  Emine Yilmaz},
  title        = {Enhanced Probabilistic Classify and Count Methods for Multi-Label
                  Text Quantification},
  booktitle    = {Proceedings of the {ACM} {SIGIR} International Conference on Theory
                  of Information Retrieval, {ICTIR} 2017, Amsterdam, The Netherlands,
                  October 1-4, 2017},
  pages        = {229--232},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3121050.3121083},
  doi          = {10.1145/3121050.3121083},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictir/LevinR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-09795,
  author       = {Michael Bargury and
                  Roy Levin and
                  Royi Ronen},
  title        = {Learning to Customize Network Security Rules},
  journal      = {CoRR},
  volume       = {abs/1712.09795},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.09795},
  eprinttype    = {arXiv},
  eprint       = {1712.09795},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-09795.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recsys/LevinAC16,
  author       = {Roy Levin and
                  Hassan Abassi and
                  Uzi Cohen},
  editor       = {Shilad Sen and
                  Werner Geyer and
                  Jill Freyne and
                  Pablo Castells},
  title        = {Guided Walk: {A} Scalable Recommendation Algorithm for Complex Heterogeneous
                  Social Networks},
  booktitle    = {Proceedings of the 10th {ACM} Conference on Recommender Systems, Boston,
                  MA, USA, September 15-19, 2016},
  pages        = {293--300},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2959100.2959143},
  doi          = {10.1145/2959100.2959143},
  timestamp    = {Tue, 06 Nov 2018 11:07:03 +0100},
  biburl       = {https://dblp.org/rec/conf/recsys/LevinAC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/HashavitLGK16,
  author       = {Anat Hashavit and
                  Roy Levin and
                  Ido Guy and
                  Gilad Kutiel},
  editor       = {Raffaele Perego and
                  Fabrizio Sebastiani and
                  Javed A. Aslam and
                  Ian Ruthven and
                  Justin Zobel},
  title        = {Effective Trend Detection within a Dynamic Search Context},
  booktitle    = {Proceedings of the 39th International {ACM} {SIGIR} conference on
                  Research and Development in Information Retrieval, {SIGIR} 2016, Pisa,
                  Italy, July 17-21, 2016},
  pages        = {817--820},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2911451.2914705},
  doi          = {10.1145/2911451.2914705},
  timestamp    = {Wed, 14 Nov 2018 10:58:11 +0100},
  biburl       = {https://dblp.org/rec/conf/sigir/HashavitLGK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/GuyLDB15,
  author       = {Ido Guy and
                  Roy Levin and
                  Tal Daniel and
                  Ella Bolshinsky},
  editor       = {Ricardo Baeza{-}Yates and
                  Mounia Lalmas and
                  Alistair Moffat and
                  Berthier A. Ribeiro{-}Neto},
  title        = {Islands in the Stream: {A} Study of Item Recommendation within an
                  Enterprise Social Stream},
  booktitle    = {Proceedings of the 38th International {ACM} {SIGIR} Conference on
                  Research and Development in Information Retrieval, Santiago, Chile,
                  August 9-13, 2015},
  pages        = {665--674},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2766462.2767746},
  doi          = {10.1145/2766462.2767746},
  timestamp    = {Sun, 22 Sep 2019 18:15:38 +0200},
  biburl       = {https://dblp.org/rec/conf/sigir/GuyLDB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geoinformatica/LevinK14,
  author       = {Roy Levin and
                  Yaron Kanza},
  title        = {{TARS:} traffic-aware route search},
  journal      = {GeoInformatica},
  volume       = {18},
  number       = {3},
  pages        = {461--500},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10707-013-0185-z},
  doi          = {10.1007/S10707-013-0185-Z},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/geoinformatica/LevinK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LevinK14,
  author       = {Roy Levin and
                  Yaron Kanza},
  editor       = {Curtis E. Dyreson and
                  Feifei Li and
                  M. Tamer {\"{O}}zsu},
  title        = {Stratified-sampling over social networks using mapreduce},
  booktitle    = {International Conference on Management of Data, {SIGMOD} 2014, Snowbird,
                  UT, USA, June 22-27, 2014},
  pages        = {863--874},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2588555.2588577},
  doi          = {10.1145/2588555.2588577},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/LevinK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Levin13,
  author       = {Roy Levin},
  title        = {Geospatial route search},
  school       = {Technion - Israel Institute of Technology, Israel},
  year         = {2013},
  url          = {https://technion.primo.exlibrisgroup.com/permalink/972TEC\_INST/q1jq5o/alma990023485450203971},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/il/Levin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/LevinK12,
  author       = {Roy Levin and
                  Yaron Kanza},
  editor       = {Chi{-}Yin Chow and
                  Shashi Shekhar},
  title        = {Interactive traffic-aware route search on smartphones},
  booktitle    = {Proceedings of the First {ACM} {SIGSPATIAL} International Workshop
                  on Mobile Geographic Information Systems, MobiGIS 2012, Redondo Beach,
                  CA, USA, November 6, 2012},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442810.2442812},
  doi          = {10.1145/2442810.2442812},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/LevinK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/LevinKK12,
  author       = {Roy Levin and
                  Elad Kravi and
                  Yaron Kanza},
  editor       = {Isabel F. Cruz and
                  Craig A. Knoblock and
                  Peer Kr{\"{o}}ger and
                  Egemen Tanin and
                  Peter Widmayer},
  title        = {Concurrent and robust topological map matching},
  booktitle    = {{SIGSPATIAL} 2012 International Conference on Advances in Geographic
                  Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo
                  Beach, CA, USA, November 7-9, 2012},
  pages        = {617--620},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2424321.2424431},
  doi          = {10.1145/2424321.2424431},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/LevinKK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/FriedmanHKLSS12,
  author       = {Roi Friedman and
                  Itsik Hefez and
                  Yaron Kanza and
                  Roy Levin and
                  Eliyahu Safra and
                  Yehoshua Sagiv},
  editor       = {Alain Mille and
                  Fabien Gandon and
                  Jacques Misselis and
                  Michael Rabinovich and
                  Steffen Staab},
  title        = {{WISER:} a web-based interactive route search system for smartphones},
  booktitle    = {Proceedings of the 21st World Wide Web Conference, {WWW} 2012, Lyon,
                  France, April 16-20, 2012 (Companion Volume)},
  pages        = {337--340},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2187980.2188043},
  doi          = {10.1145/2187980.2188043},
  timestamp    = {Fri, 16 Apr 2021 10:04:12 +0200},
  biburl       = {https://dblp.org/rec/conf/www/FriedmanHKLSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/HefezKL11,
  author       = {Itsik Hefez and
                  Yaron Kanza and
                  Roy Levin},
  editor       = {Isabel F. Cruz and
                  Divyakant Agrawal and
                  Christian S. Jensen and
                  Eyal Ofek and
                  Egemen Tanin},
  title        = {{TARSIUS:} a system for traffic-aware route search under conditions
                  of uncertainty},
  booktitle    = {19th {ACM} {SIGSPATIAL} International Symposium on Advances in Geographic
                  Information Systems, {ACM-GIS} 2011, November 1-4, 2011, Chicago,
                  IL, USA, Proceedings},
  pages        = {517--520},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2093973.2094063},
  doi          = {10.1145/2093973.2094063},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/HefezKL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/LevinKSS10,
  author       = {Roy Levin and
                  Yaron Kanza and
                  Eliyahu Safra and
                  Yehoshua Sagiv},
  title        = {Interactive Route Search in the Presence of Order Constraints},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {3},
  number       = {1},
  pages        = {117--128},
  year         = {2010},
  url          = {http://www.vldb.org/pvldb/vldb2010/pvldb\_vol3/R10.pdf},
  doi          = {10.14778/1920841.1920861},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/LevinKSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/KanzaLSS09,
  author       = {Yaron Kanza and
                  Roy Levin and
                  Eliyahu Safra and
                  Yehoshua Sagiv},
  editor       = {Divyakant Agrawal and
                  Walid G. Aref and
                  Chang{-}Tien Lu and
                  Mohamed F. Mokbel and
                  Peter Scheuermann and
                  Cyrus Shahabi and
                  Ouri Wolfson},
  title        = {An interactive approach to route search},
  booktitle    = {17th {ACM} {SIGSPATIAL} International Symposium on Advances in Geographic
                  Information Systems, {ACM-GIS} 2009, November 4-6, 2009, Seattle,
                  Washington, USA, Proceedings},
  pages        = {408--411},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1653771.1653831},
  doi          = {10.1145/1653771.1653831},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gis/KanzaLSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/LevinNH08,
  author       = {Roy Levin and
                  Ilan Newman and
                  Gadi Haber},
  editor       = {Per Stenstr{\"{o}}m and
                  Michel Dubois and
                  Manolis Katevenis and
                  Rajiv Gupta and
                  Theo Ungerer},
  title        = {Complementing Missing and Inaccurate Profiling Using a Minimum Cost
                  Circulation Algorithm},
  booktitle    = {High Performance Embedded Architectures and Compilers, Third International
                  Conference, HiPEAC 2008, G{\"{o}}teborg, Sweden, January 27-29,
                  2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4917},
  pages        = {291--304},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77560-7\_20},
  doi          = {10.1007/978-3-540-77560-7\_20},
  timestamp    = {Mon, 06 Dec 2021 16:37:01 +0100},
  biburl       = {https://dblp.org/rec/conf/hipeac/LevinNH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/Ben-AsherBCHKLS08,
  author       = {Yosi Ben{-}Asher and
                  Omer Boehm and
                  Daniel Citron and
                  Gadi Haber and
                  Moshe Klausner and
                  Roy Levin and
                  Yousef Shajrawi},
  editor       = {Per Stenstr{\"{o}}m and
                  Michel Dubois and
                  Manolis Katevenis and
                  Rajiv Gupta and
                  Theo Ungerer},
  title        = {Aggressive Function Inlining: Preventing Loop Blockings in the Instruction
                  Cache},
  booktitle    = {High Performance Embedded Architectures and Compilers, Third International
                  Conference, HiPEAC 2008, G{\"{o}}teborg, Sweden, January 27-29,
                  2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4917},
  pages        = {384--397},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77560-7\_26},
  doi          = {10.1007/978-3-540-77560-7\_26},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Ben-AsherBCHKLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Levin07,
  author       = {Roy Levin},
  title        = {A perspective on computing research management},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {41},
  number       = {2},
  pages        = {3--9},
  year         = {2007},
  url          = {https://doi.org/10.1145/1243418.1243420},
  doi          = {10.1145/1243418.1243420},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/Levin07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ZhouPRLT07,
  author       = {Lidong Zhou and
                  Vijayan Prabhakaran and
                  Venugopalan Ramasubramanian and
                  Roy Levin and
                  Chandramohan A. Thekkath},
  editor       = {Indranil Gupta and
                  Roger Wattenhofer},
  title        = {Graceful degradation via versions: specifications and implementations},
  booktitle    = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2007, Portland, Oregon, USA, August
                  12-15, 2007},
  pages        = {264--273},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1281100.1281138},
  doi          = {10.1145/1281100.1281138},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/ZhouPRLT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/HeydonMLY06,
  author       = {Allan Heydon and
                  Timothy P. Mann and
                  Roy Levin and
                  Yuan Yu},
  title        = {Software Configuration Management Using Vesta},
  series       = {Monographs in Computer Science},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-30852-4},
  doi          = {10.1007/978-0-387-30852-4},
  isbn         = {978-0-387-00229-3},
  timestamp    = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/mcs/HeydonMLY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CitronHL04,
  author       = {Daniel Citron and
                  Gadi Haber and
                  Roy Levin},
  editor       = {Giorgio C. Buttazzo},
  title        = {Reducing program image size by extracting frozen code and data},
  booktitle    = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
                  Conference On Embedded Software, Proceedings},
  pages        = {297--305},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1017753.1017800},
  doi          = {10.1145/1017753.1017800},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/CitronHL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeydonLY00,
  author       = {Allan Heydon and
                  Roy Levin and
                  Yuan Yu},
  editor       = {Monica S. Lam},
  title        = {Caching function calls using precise dependencies},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation (PLDI), Vancouver, Britith Columbia,
                  Canada, June 18-21, 2000},
  pages        = {311--320},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349299.349341},
  doi          = {10.1145/349299.349341},
  timestamp    = {Thu, 08 Jul 2021 16:04:02 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/HeydonLY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BirrellGHL87,
  author       = {Andrew Birrell and
                  John V. Guttag and
                  James J. Horning and
                  Roy Levin},
  editor       = {Les Belady},
  title        = {Synchronization Primitives for a Multiprocessor: {A} Formal Specification},
  booktitle    = {Proceedings of the Eleventh {ACM} Symposium on Operating System Principles,
                  {SOSP} 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11,
                  1987},
  pages        = {94--102},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/41457.37509},
  doi          = {10.1145/41457.37509},
  timestamp    = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/BirrellGHL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/LevinR84,
  author       = {Roy Levin and
                  David D. Redell},
  title        = {Report on Work-In-Progress Session of the 9th {ACM} Symposium on Operating
                  Systems Principles},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {18},
  number       = {1},
  pages        = {9--10},
  year         = {1984},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/LevinR84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/LevinR83,
  author       = {Roy Levin and
                  David D. Redell},
  title        = {An Evaluation of the Ninth {SOSP} Submissions or: How (and How Not)
                  to Write a Good Systems Paper},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {17},
  number       = {3},
  pages        = {35--40},
  year         = {1983},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/LevinR83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/1983,
  editor       = {Jerome H. Saltzer and
                  Roy Levin and
                  David D. Redell},
  title        = {Proceedings of the Ninth {ACM} Symposium on Operating System Principles,
                  {SOSP} 1983, Bretton Woods, New Hampshire, USA, October 10-13, 1983},
  publisher    = {{ACM}},
  year         = {1983},
  url          = {https://doi.org/10.1145/800217},
  doi          = {10.1145/800217},
  isbn         = {0-89791-115-6},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/1983.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BirrellLNS82,
  author       = {Andrew Birrell and
                  Roy Levin and
                  Roger M. Needham and
                  Michael D. Schroeder},
  title        = {Grapevine: An Exercise in Distributed Computing},
  journal      = {Commun. {ACM}},
  volume       = {25},
  number       = {4},
  pages        = {260--274},
  year         = {1982},
  url          = {https://doi.org/10.1145/358468.358487},
  doi          = {10.1145/358468.358487},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BirrellLNS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BirrellLNS81,
  author       = {Andrew Birrell and
                  Roy Levin and
                  Roger M. Needham and
                  Michael D. Schroeder},
  editor       = {John Howard and
                  David P. Reed},
  title        = {Gravevine: An Exercise in Distributed Computing (summary)},
  booktitle    = {Proceedings of the Eighth Symposium on Operating System Principles,
                  {SOSP} 1981, Asilomar Conference Grounds, Pacific Grove, California,
                  USA, December 14-16, 1981},
  pages        = {178--179},
  publisher    = {{ACM}},
  year         = {1981},
  url          = {https://doi.org/10.1145/800216.806606},
  doi          = {10.1145/800216.806606},
  timestamp    = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/BirrellLNS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Levin77,
  author       = {Roy Levin},
  title        = {Surveyor's Forum: An Amplification on Hydra's Capabilities},
  journal      = {{ACM} Comput. Surv.},
  volume       = {9},
  number       = {2},
  pages        = {165},
  year         = {1977},
  url          = {https://doi.org/10.1145/356689.356693},
  doi          = {10.1145/356689.356693},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Levin77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WulfLP75,
  author       = {William A. Wulf and
                  Roy Levin and
                  C. Pierson},
  editor       = {James C. Browne and
                  Juan Rodriguez{-}Rosell},
  title        = {Overview of the {HYDRA} Operating System Development},
  booktitle    = {Proceedings of the Fifth Symposium on Operating System Principles,
                  {SOSP} 1975, The University of Texas at Austin, Austin, Texas, USA,
                  November 19-21, 1975},
  pages        = {122--131},
  publisher    = {{ACM}},
  year         = {1975},
  url          = {https://doi.org/10.1145/800213.806530},
  doi          = {10.1145/800213.806530},
  timestamp    = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/WulfLP75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LevinCCPW75,
  author       = {Roy Levin and
                  Ellis S. Cohen and
                  William M. Corwin and
                  Fred J. Pollack and
                  William A. Wulf},
  editor       = {James C. Browne and
                  Juan Rodriguez{-}Rosell},
  title        = {Policy/Mechanism Separation in {HYDRA}},
  booktitle    = {Proceedings of the Fifth Symposium on Operating System Principles,
                  {SOSP} 1975, The University of Texas at Austin, Austin, Texas, USA,
                  November 19-21, 1975},
  pages        = {132--140},
  publisher    = {{ACM}},
  year         = {1975},
  url          = {https://doi.org/10.1145/800213.806531},
  doi          = {10.1145/800213.806531},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/LevinCCPW75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WulfCCJLPP74,
  author       = {William A. Wulf and
                  Ellis S. Cohen and
                  William M. Corwin and
                  Anita K. Jones and
                  Roy Levin and
                  C. Pierson and
                  Fred J. Pollack},
  title        = {{HYDRA:} The Kernel of a Multiprocessor Operating System},
  journal      = {Commun. {ACM}},
  volume       = {17},
  number       = {6},
  pages        = {337--345},
  year         = {1974},
  url          = {https://doi.org/10.1145/355616.364017},
  doi          = {10.1145/355616.364017},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/WulfCCJLPP74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics