Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gerald J. Popek
@article{DBLP:journals/tos/WangKRP06,
author = {An{-}I Andy Wang and
Geoffrey H. Kuenning and
Peter L. Reiher and
Gerald J. Popek},
title = {The \emph{Conquest} file system: Better performance through a disk/persistent-RAM
hybrid design},
journal = {{ACM} Trans. Storage},
volume = {2},
number = {3},
pages = {309--348},
year = {2006},
url = {https://doi.org/10.1145/1168910.1168914},
doi = {10.1145/1168910.1168914},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tos/WangKRP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/LiRP04,
author = {Jun Li and
Peter L. Reiher and
Gerald J. Popek},
title = {Resilient self-organizing overlay networks for security update delivery},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {22},
number = {1},
pages = {189--202},
year = {2004},
url = {https://doi.org/10.1109/JSAC.2003.818808},
doi = {10.1109/JSAC.2003.818808},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/LiRP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/RatnerRP04,
author = {David Ratner and
Peter L. Reiher and
Gerald J. Popek},
title = {Roam: {A} Scalable Replication System for Mobility},
journal = {Mob. Networks Appl.},
volume = {9},
number = {5},
pages = {537--544},
year = {2004},
url = {https://doi.org/10.1023/B:MONE.0000034707.26695.e8},
doi = {10.1023/B:MONE.0000034707.26695.E8},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/RatnerRP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/EusticeKMPRR03,
author = {Kevin Eustice and
Leonard Kleinrock and
Shane Markstrum and
Gerald J. Popek and
Venkatraman Ramakrishna and
Peter L. Reiher},
title = {Enabling Secure Ubiquitous Interactions},
booktitle = {International Middleware Conference, Workshop Proceedings, June 16-20,
2003, Rio de Janeiro, Brazil},
pages = {76--80},
publisher = {PUC-Rio},
year = {2003},
timestamp = {Thu, 17 Jul 2003 08:59:54 +0200},
biburl = {https://dblp.org/rec/conf/middleware/EusticeKMPRR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/EusticeKMPRR03,
author = {Kevin Eustice and
Leonard Kleinrock and
Shane Markstrum and
Gerald J. Popek and
Venkatraman Ramakrishna and
Peter L. Reiher},
editor = {Christian Hempelmann and
Victor Raskin},
title = {Securing nomads: the case for quarantine, examination, and decontamination},
booktitle = {Proceedings of the New Security Paradigms Workshop 2003, August 18-21,
2002, Ascona, Switzerland},
pages = {123--128},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/986655.986673},
doi = {10.1145/986655.986673},
timestamp = {Wed, 14 Nov 2018 10:52:51 +0100},
biburl = {https://dblp.org/rec/conf/nspw/EusticeKMPRR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/LiRP02,
author = {Jun Li and
Peter L. Reiher and
Gerald J. Popek},
title = {Disseminating Security Updates at Internet Scale},
series = {Advances in Information Security},
volume = {8},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-1-4615-1021-5},
doi = {10.1007/978-1-4615-1021-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/LiRP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/KuenningMRP02,
author = {Geoffrey H. Kuenning and
Wilkie Ma and
Peter L. Reiher and
Gerald J. Popek},
editor = {Michela Meo and
Albert Y. Zomaya and
Teresa A. Dahlberg},
title = {Simplifying automated hoarding methods},
booktitle = {Proceedings of the 5th International Symposium on Modeling Analysis
and Simulation of Wireless and Mobile Systems, MSWiM 2002, Atlanta,
Georgia, USA, September 28, 2002},
pages = {15--21},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/570758.570762},
doi = {10.1145/570758.570762},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mswim/KuenningMRP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/WangRPK02,
author = {An{-}I Wang and
Peter L. Reiher and
Gerald J. Popek and
Geoffrey H. Kuenning},
editor = {Carla Schlatter Ellis},
title = {Conquest: Better Performance Through a Disk/Persistent-RAM Hybrid
File System},
booktitle = {Proceedings of the General Track: 2002 {USENIX} Annual Technical Conference,
June 10-15, 2002, Monterey, California, {USA}},
pages = {15--28},
publisher = {{USENIX}},
year = {2002},
url = {http://www.usenix.org/publications/library/proceedings/usenix02/wang.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/WangRPK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dpd/EkenstamMRP01,
author = {Todd Ekenstam and
Charles Matheny and
Peter L. Reiher and
Gerald J. Popek},
title = {The Bengal Database Replication System},
journal = {Distributed Parallel Databases},
volume = {9},
number = {3},
pages = {187--210},
year = {2001},
url = {https://doi.org/10.1023/A:1019266628724},
doi = {10.1023/A:1019266628724},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dpd/EkenstamMRP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/RatnerRPK01,
author = {David Ratner and
Peter L. Reiher and
Gerald J. Popek and
Geoffrey H. Kuenning},
title = {Replication Requirements in Mobile Environments},
journal = {Mob. Networks Appl.},
volume = {6},
number = {6},
pages = {525--533},
year = {2001},
url = {https://doi.org/10.1023/A:1011862121702},
doi = {10.1023/A:1011862121702},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/RatnerRPK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/WangRPK01,
author = {An{-}I Wang and
Peter L. Reiher and
Gerald J. Popek and
Geoffrey H. Kuenning},
title = {The Conquest File System's Life after Disks},
booktitle = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating
Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
pages = {186},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HOTOS.2001.990102},
doi = {10.1109/HOTOS.2001.990102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/WangRPK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/BadrinathFKPRS00,
author = {B. R. Badrinath and
Armando Fox and
Leonard Kleinrock and
Gerald J. Popek and
Peter L. Reiher and
Mahadev Satyanarayanan},
title = {A conceptual framework for network and client adaptation},
journal = {Mob. Networks Appl.},
volume = {5},
number = {4},
pages = {221--231},
year = {2000},
url = {https://doi.org/10.1023/A:1019168830964},
doi = {10.1023/A:1019168830964},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/BadrinathFKPRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/RatnerRP99,
author = {David Ratner and
Peter L. Reiher and
Gerald J. Popek},
title = {Roam: {A} Scalable Replication System for Mobile Computing},
booktitle = {10th International Workshop on Database {\&} Expert Systems Applications,
Florence, Italy, September 1-3, 1999, Proceedings},
pages = {96--104},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/DEXA.1999.795151},
doi = {10.1109/DEXA.1999.795151},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/RatnerRP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/YarvisRP99,
author = {Mark Yarvis and
Peter L. Reiher and
Gerald J. Popek},
editor = {Peter Druschel},
title = {Conductor: {A} Framework for Distributed Adaptation},
booktitle = {Proceedings of The Seventh Workshop on Hot Topics in Operating Systems,
HotOS-VII, Rio Rico, Arizona, USA, March 28-30, 1999},
pages = {44--51},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HOTOS.1999.798376},
doi = {10.1109/HOTOS.1999.798376},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/YarvisRP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/TsaiRP99,
author = {Mitchell Tsai and
Peter L. Reiher and
Gerald J. Popek},
editor = {Peter Druschel},
title = {Command Management System for Next-Generation User Input},
booktitle = {Proceedings of The Seventh Workshop on Hot Topics in Operating Systems,
HotOS-VII, Rio Rico, Arizona, USA, March 28-30, 1999},
pages = {179--184},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HOTOS.1999.798397},
doi = {10.1109/HOTOS.1999.798397},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/TsaiRP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mda/RatnerRPG99,
author = {David Ratner and
Peter L. Reiher and
Gerald J. Popek and
Richard G. Guy},
editor = {Hong Va Leong and
Wang{-}Chien Lee and
Bo Li and
Li Yin},
title = {Peer Replication with Selective Control},
booktitle = {Mobile Data Access, First International Conference, MDA'99, Hong Kong,
China, December 16-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1748},
pages = {169--181},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46669-X\_15},
doi = {10.1007/3-540-46669-X\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mda/RatnerRPG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/LiRP99,
author = {Jun Li and
Peter L. Reiher and
Gerald J. Popek},
editor = {Darrell M. Kienzle and
Mary Ellen Zurko and
Steven J. Greenwald and
Cristina Serbau},
title = {Securing information transmission by redundancy},
booktitle = {Proceedings of the 1999 Workshop on New Security Paradigms, Caledon
Hills, ON, Canada, September 22-24, 1999},
pages = {112--117},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/335169.335205},
doi = {10.1145/335169.335205},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nspw/LiRP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RudenkoRPK99,
author = {Alexey Rudenko and
Peter L. Reiher and
Gerald J. Popek and
Geoffrey H. Kuenning},
editor = {Barrett R. Bryant and
Gary B. Lamont and
Hisham Haddad and
Janice H. Carroll},
title = {The Remote Processing Framework for Portable Computer Power Saving},
booktitle = {Proceedings of the 1999 {ACM} Symposium on Applied Computing, SAC'99,
San Antonio, Texas, USA, February 28 - March 2, 1999},
pages = {365--372},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/298151.298385},
doi = {10.1145/298151.298385},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/RudenkoRPK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/KimP98,
author = {Ted H. Kim and
Gerald J. Popek},
title = {Frigate: a user-extensible {OO} file system},
journal = {{IEEE} Concurr.},
volume = {6},
number = {4},
pages = {26--35},
year = {1998},
url = {https://doi.org/10.1109/4434.736411},
doi = {10.1109/4434.736411},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeecc/KimP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmobile/RudenkoRPK98,
author = {Alexey Rudenko and
Peter L. Reiher and
Gerald J. Popek and
Geoffrey H. Kuenning},
title = {Saving portable computer battery power through remote process execution},
journal = {{ACM} {SIGMOBILE} Mob. Comput. Commun. Rev.},
volume = {2},
number = {1},
pages = {19--26},
year = {1998},
url = {https://doi.org/10.1145/584007.584008},
doi = {10.1145/584007.584008},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmobile/RudenkoRPK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/PageGHRRGKP98,
author = {Thomas W. Page Jr. and
Richard G. Guy and
John S. Heidemann and
David Ratner and
Peter L. Reiher and
Ashish Goel and
Geoffrey H. Kuenning and
Gerald J. Popek},
title = {Perspectives on Optimistically Replicated, Peer-to-Peer Filing},
journal = {Softw. Pract. Exp.},
volume = {28},
number = {2},
pages = {155--180},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1097-024X(199802)28:2\&\#60;155::AID-SPE155\&\#62;3.0.CO;2-5},
doi = {10.1002/(SICI)1097-024X(199802)28:2\&\#60;155::AID-SPE155\&\#62;3.0.CO;2-5},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/PageGHRRGKP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/KuenningBGPRW98,
author = {Geoffrey H. Kuenning and
Rajive L. Bagrodia and
Richard G. Guy and
Gerald J. Popek and
Peter L. Reiher and
An{-}I Wang},
editor = {Serge Demeyer and
Jan Bosch},
title = {Measuring the Quality of Service of Optimistic Replication},
booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1543},
pages = {319--320},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49255-0\_90},
doi = {10.1007/3-540-49255-0\_90},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/KuenningBGPRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/GuyRRGMP98,
author = {Richard G. Guy and
Peter L. Reiher and
David Ratner and
Michial A. Gunter and
Wilkie Ma and
Gerald J. Popek},
editor = {Yahiko Kambayashi and
Dik Lun Lee and
Ee{-}Peng Lim and
Mukesh K. Mohania and
Yoshifumi Masunaga},
title = {Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication},
booktitle = {Advances in Database Technologies, {ER} '98 Workshops on Data Warehousing
and Data Mining, Mobile Data Access, and Collaborative Work Support
and Spatio-Temporal Data Management, Singapore, November 19-20, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1552},
pages = {254--265},
publisher = {Springer},
year = {1998},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/GuyRRGMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/GoelPP98,
author = {Ashvin Goel and
Calton Pu and
Gerald J. Popek},
title = {View Consistency for Optimistic Replication},
booktitle = {The Seventeenth Symposium on Reliable Distributed Systems, {SRDS}
1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings},
pages = {36--42},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/RELDIS.1998.740472},
doi = {10.1109/RELDIS.1998.740472},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/GoelPP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OS-9812011,
author = {Erik T. Mueller and
Johanna D. Moore and
Gerald J. Popek},
title = {A nested transaction mechanism for {LOCUS}},
journal = {CoRR},
volume = {cs.OS/9812011},
year = {1998},
url = {https://arxiv.org/abs/cs/9812011},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OS-9812011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/KuenningRP97,
author = {Geoffrey H. Kuenning and
Peter L. Reiher and
Gerald J. Popek},
title = {Experience with an Automated Hoarding System},
journal = {Pers. Ubiquitous Comput.},
volume = {1},
number = {3},
pages = {145--155},
year = {1997},
url = {https://doi.org/10.1007/BF01299649},
doi = {10.1007/BF01299649},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/puc/KuenningRP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coots/KimP97,
author = {Ted H. Kim and
Gerald J. Popek},
editor = {Steve Vinoski},
title = {Frigate: An Object-Oriented File System for Ordinary Users},
booktitle = {Proceedings of the Third {USENIX} Conference on Object-Oriented Technologies
(COOTS), June 16-20, 1997, Portland, Oregon, {USA}},
pages = {115--130},
publisher = {{USENIX}},
year = {1997},
url = {http://www.usenix.org/publications/library/proceedings/coots97/kim.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coots/KimP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KuenningP97,
author = {Geoffrey H. Kuenning and
Gerald J. Popek},
editor = {Michel Ban{\^{a}}tre and
Henry M. Levy and
William M. Waite},
title = {Automated Hoarding for Mobile Computers},
booktitle = {Proceedings of the Sixteenth {ACM} Symposium on Operating System Principles,
{SOSP} 1997, St. Malo, France, October 5-8, 1997},
pages = {264--275},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/268998.266706},
doi = {10.1145/268998.266706},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KuenningP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/BagrodiaCKP95,
author = {Rajive L. Bagrodia and
Wesley W. Chu and
Leonard Kleinrock and
Gerald J. Popek},
title = {Vision, issues, and architecture for nomadic computing [and communications]},
journal = {{IEEE} Wirel. Commun.},
volume = {2},
number = {6},
pages = {14--27},
year = {1995},
url = {https://doi.org/10.1109/98.475985},
doi = {10.1109/98.475985},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wc/BagrodiaCKP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HeidemannP95,
author = {John S. Heidemann and
Gerald J. Popek},
editor = {Michael B. Jones},
title = {Performance of Cache Coherence in Stackable Filing},
booktitle = {Proceedings of the Fifteenth {ACM} Symposium on Operating System Principles,
{SOSP} 1995, Copper Mountain Resort, Colorado, USA, December 3-6,
1995},
pages = {127--142},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224056.224067},
doi = {10.1145/224056.224067},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/HeidemannP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/HeidemannP94,
author = {John S. Heidemann and
Gerald J. Popek},
title = {File-System Development with Stackable Layers},
journal = {{ACM} Trans. Comput. Syst.},
volume = {12},
number = {1},
pages = {58--89},
year = {1994},
url = {https://doi.org/10.1145/174613.174616},
doi = {10.1145/174613.174616},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/HeidemannP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/ReiherHRSP94,
author = {Peter L. Reiher and
John S. Heidemann and
David Ratner and
Gregory Skinner and
Gerald J. Popek},
title = {Resolving File Conflicts in the Ficus File System},
booktitle = {{USENIX} Summer 1994 Technical Conference, Boston, Massachusetts,
USA, June 6-10, 1994, Conference Proceeding},
pages = {183--195},
publisher = {{USENIX} Association},
year = {1994},
url = {https://www.usenix.org/conference/usenix-summer-1994-technical-conference/resolving-file-conflicts-ficus-file-system},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/ReiherHRSP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KuenningPR94,
author = {Geoffrey H. Kuenning and
Gerald J. Popek and
Peter L. Reiher},
title = {An Analysis of Trace Data for Predictive File Caching in Mobile Computing},
booktitle = {{USENIX} Summer 1994 Technical Conference, Boston, Massachusetts,
USA, June 6-10, 1994, Conference Proceeding},
pages = {291--303},
publisher = {{USENIX} Association},
year = {1994},
url = {https://www.usenix.org/conference/usenix-summer-1994-technical-conference/analysis-trace-data-predictive-file-caching},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/KuenningPR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/GuyPP93,
author = {Richard G. Guy and
Gerald J. Popek and
Thomas W. Page Jr.},
title = {Consistency algorithms for optimistic replication},
booktitle = {1993 International Conference on Network Protocols, {ICNP} 1993, San
Francisco, CA, USA, October 19-22, 1993, Proceedings},
pages = {250--261},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ICNP.1993.340912},
doi = {10.1109/ICNP.1993.340912},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/GuyPP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/GuyHPP92,
author = {Richard G. Guy and
John S. Heidemann and
Thomas W. Page Jr. and
Gerald J. Popek},
title = {The Ficus Replicated File System (Abstract)},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {26},
number = {2},
pages = {26},
year = {1992},
url = {https://doi.org/10.1145/142111.964627},
doi = {10.1145/142111.964627},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/GuyHPP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/WuPM92,
author = {Yuguang Wu and
Gerald J. Popek and
Richard R. Muntz},
title = {Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors},
booktitle = {Proceedings of the Fourth {IEEE} Symposium on Parallel and Distributed
Processing, {SPDP} 1992, Arlington, Texas, USA, December 1-4, 1992},
pages = {507--514},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SPDP.1992.242702},
doi = {10.1109/SPDP.1992.242702},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spdp/WuPM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmrd/HeidemannPGP92,
author = {John S. Heidemann and
Thomas W. Page Jr. and
Richard G. Guy and
Gerald J. Popek},
editor = {Jehan{-}Fran{\c{c}}ois P{\^{a}}ris and
Hector Garcia{-}Molina},
title = {Primarily Disconnected Operation: Experiences with Ficus},
booktitle = {Proceedings of the Second Workshop on the Management of Replicated
Data, November 12-13, 1992, Monterey, California, {USA}},
pages = {2--5},
publisher = {{IEEE} Computer Society Press},
year = {1992},
timestamp = {Sun, 28 Jul 2019 16:59:35 +0200},
biburl = {https://dblp.org/rec/conf/wmrd/HeidemannPGP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/PageGHPMR91,
author = {Thomas W. Page Jr. and
Richard G. Guy and
John S. Heidemann and
Gerald J. Popek and
Wai Mak and
Dieter Rothmeier},
title = {Management of Replicated Volume Location Data in the Ficus Replicated
File System},
booktitle = {Proceedings of the Summer 1991 {USENIX} Conference, Nashville, TE,
USA, June 1991},
pages = {17--30},
publisher = {{USENIX} Association},
year = {1991},
timestamp = {Thu, 15 May 2014 18:36:23 +0200},
biburl = {https://dblp.org/rec/conf/usenix/PageGHPMR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/GuyHMPPR90,
author = {Richard G. Guy and
John S. Heidemann and
Wai{-}Kei Mak and
Thomas W. Page Jr. and
Gerald J. Popek and
Dieter Rothmeier},
title = {Implementation of the Ficus Replicated File System},
booktitle = {Proceedings of the Usenix Summer 1990 Technical Conference, Anaheim,
California, USA, June 1990},
pages = {63--72},
publisher = {{USENIX} Association},
year = {1990},
timestamp = {Thu, 15 May 2014 18:36:23 +0200},
biburl = {https://dblp.org/rec/conf/usenix/GuyHMPPR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmrd/PopekGPH90,
author = {Gerald J. Popek and
Richard G. Guy and
Thomas W. Page Jr. and
John S. Heidemann},
editor = {Luis{-}Felipe Cabrera and
Jehan{-}Fran{\c{c}}ois P{\^{a}}ris},
title = {Replication in Ficus Distributed File Systems},
booktitle = {Proceedings of the First Workshop on the Management of Replicated
Data, November 8-9, 1990, Houston, Texas, {USA}},
pages = {5--10},
publisher = {{IEEE} Computer Society Press},
year = {1990},
timestamp = {Sun, 28 Jul 2019 12:54:05 +0200},
biburl = {https://dblp.org/rec/conf/wmrd/PopekGPH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/FleischP89,
author = {Brett D. Fleisch and
Gerald J. Popek},
editor = {Gregory R. Andrews},
title = {Mirage: {A} Coherent Distributed Shared Memory Design},
booktitle = {Proceedings of the Twelfth {ACM} Symposium on Operating System Principles,
{SOSP} 1989, The Wigwam, Litchfield Park, Arizona, USA, December 3-6,
1989},
pages = {211--223},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74850.74871},
doi = {10.1145/74850.74871},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/FleischP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/Popek88,
author = {Gerald J. Popek},
title = {Autonomy and interdependence: an intermediate position},
booktitle = {Proceedings of the 3rd {ACM} {SIGOPS} European Workshop: Autonomy
or Interdependence in Distributed Systems? Cambridge, UK, September
18-21, 1988},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/504092.504117},
doi = {10.1145/504092.504117},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/Popek88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/ReiherP87,
author = {Peter L. Reiher and
Gerald J. Popek},
editor = {Nina Gerner and
Otto Spaniol},
title = {Locus Naming in a Large Scale Environment},
booktitle = {Kommunikation in Verteilten Systemen, Anwendungen, Betrieb, Grundlagen,
GI/ITG-Fachtagung, Aachen, 16.-20. Februar 1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {130},
pages = {167--177},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-71655-3\_15},
doi = {10.1007/978-3-642-71655-3\_15},
timestamp = {Tue, 23 May 2017 01:06:28 +0200},
biburl = {https://dblp.org/rec/conf/kivs/ReiherP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SheltzerP86,
author = {Alan B. Sheltzer and
Gerald J. Popek},
title = {Internet Locus: Extending Transparency to an Internet Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {11},
pages = {1067--1075},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312996},
doi = {10.1109/TSE.1986.6312996},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SheltzerP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SheltzerLP86,
author = {Alan B. Sheltzer and
Robert Lindell and
Gerald J. Popek},
title = {Name Service Locality and Cache Design in a Distributed Operating
System},
booktitle = {Proceedings of the 6th International Conference on Distributed Computing
Systems, Cambridge, Massachusetts, USA, May 19-13, 1986},
pages = {515--522},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Wed, 27 Nov 2013 16:54:38 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/SheltzerLP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/PageP85,
author = {Thomas W. Page Jr. and
Gerald J. Popek},
title = {Distributed Management in Local Area Networks},
booktitle = {Proceedings of the Fourth {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, March 25-27, 1985, Portland, Oregon, {USA}},
pages = {135--142},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/325405.325421},
doi = {10.1145/325405.325421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/PageP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/PageWP85,
author = {Thomas W. Page Jr. and
Matthew J. Weinstein and
Gerald J. Popek},
editor = {Shamkant B. Navathe},
title = {Genesis: {A} Distributed Database Operating System},
booktitle = {Proceedings of the 1985 {ACM} {SIGMOD} International Conference on
Management of Data, Austin, Texas, USA, May 28-31, 1985},
pages = {374--387},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318898.318988},
doi = {10.1145/318898.318988},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/PageWP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WeinsteinPLP85,
author = {Matthew J. Weinstein and
Thomas W. Page Jr. and
Brian Livezey and
Gerald J. Popek},
editor = {Forest Baskett and
Andrew Birrell and
David R. Cheriton},
title = {Transactions and Synchronization in a Distributed Operating System},
booktitle = {Proceedings of the Tenth {ACM} Symposium on Operating System Principles,
{SOSP} 1985, Orcas Island, Washington, USA, December 1-4, 1985},
pages = {115--126},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/323647.323640},
doi = {10.1145/323647.323640},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/WeinsteinPLP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/performance/BetserGP84,
author = {Joseph Betser and
Mario Gerla and
Gerald J. Popek},
editor = {Erol Gelenbe},
title = {A Dual Priority {MVA} Model for a Large Distributed System: {LOCUS}},
booktitle = {Performance '84, Proceedings of the Tenth International Symposium
on Computer Performance Modelling, Measurement and Evaluation, Paris,
France, 19-21 December, 1984},
pages = {51--66},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 30 Apr 2002 11:18:02 +0200},
biburl = {https://dblp.org/rec/conf/performance/BetserGP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/PopekT83,
author = {Gerald J. Popek and
Greg Thiel},
title = {Distributed Data Management Issues in the {LOCUS} System},
journal = {{IEEE} Database Eng. Bull.},
volume = {6},
number = {2},
pages = {63--67},
year = {1983},
url = {http://sites.computer.org/debull/83JUN-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/PopekT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ParkerPRSWWCEKK83,
author = {Douglas Stott Parker Jr. and
Gerald J. Popek and
Gerard Rudisin and
Allen Stoughton and
Bruce J. Walker and
Evelyn Walton and
Johanna M. Chow and
David A. Edwards and
Stephen Kiser and
Charles S. Kline},
title = {Detection of Mutual Inconsistency in Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {9},
number = {3},
pages = {240--247},
year = {1983},
url = {https://doi.org/10.1109/TSE.1983.236733},
doi = {10.1109/TSE.1983.236733},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ParkerPRSWWCEKK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/performance/GoldbergPL83,
author = {Arthur P. Goldberg and
Gerald J. Popek and
Stephen S. Lavenberg},
editor = {Ashok K. Agrawala and
Satish K. Tripathi},
title = {A Validated Distributed System Performance Model},
booktitle = {Performance '83, Proceedings of the 9th International Symposium on
Computer Performance Modelling, Measurement and Evaluation, College
Park, Maryland, USA, May 25-27, 1983},
pages = {251--268},
publisher = {North-Holland},
year = {1983},
timestamp = {Mon, 29 Apr 2002 13:32:27 +0200},
biburl = {https://dblp.org/rec/conf/performance/GoldbergPL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WalkerPEKT83,
author = {Bruce J. Walker and
Gerald J. Popek and
Robert English and
Charles S. Kline and
Greg Thiel},
editor = {Jerome H. Saltzer and
Roy Levin and
David D. Redell},
title = {The {LOCUS} Distributed Operating System},
booktitle = {Proceedings of the Ninth {ACM} Symposium on Operating System Principles,
{SOSP} 1983, Bretton Woods, New Hampshire, USA, October 10-13, 1983},
pages = {49--70},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800217.806615},
doi = {10.1145/800217.806615},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/WalkerPEKT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/MuellerMP83,
author = {Erik T. Mueller and
Johanna D. Moore and
Gerald J. Popek},
editor = {Jerome H. Saltzer and
Roy Levin and
David D. Redell},
title = {A Nested Transaction Mechanism for {LOCUS}},
booktitle = {Proceedings of the Ninth {ACM} Symposium on Operating System Principles,
{SOSP} 1983, Bretton Woods, New Hampshire, USA, October 10-13, 1983},
pages = {71--89},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800217.806616},
doi = {10.1145/800217.806616},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/MuellerMP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Popek81,
author = {Gerald J. Popek},
editor = {Michael J. Flynn and
Neville Harris and
Daniel P. McCarthy},
title = {Notes on distributed systems of microprocessors},
booktitle = {Microcomputer System Design, An Advanced Course, Trinity College Dublin,
Ireland, June 1981},
series = {Lecture Notes in Computer Science},
volume = {126},
pages = {303--348},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-11172-7\_9},
doi = {10.1007/3-540-11172-7\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Popek81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/berkeley/ParkerPRSWWCEKK81,
author = {Douglas Stott Parker Jr. and
Gerald J. Popek and
Gerard Rudisin and
Allen Stoughton and
Bruce J. Walker and
Evelyn Walton and
Johanna M. Chow and
David A. Edwards and
Stephen Kiser and
Charles S. Kline},
title = {Detection of Mutual Inconsitency in Distributed Systems},
booktitle = {Proceedings of the Fifth Berkeley Workshop on Distributed Data Management
and Computer Networks, February 3-5, 1981},
pages = {172--184},
publisher = {Technical Information Department, Lawrence Berkeley Laboratory, University
of California, Berkeley {CA}},
year = {1981},
timestamp = {Sat, 03 Aug 2019 18:08:47 +0200},
biburl = {https://dblp.org/rec/conf/berkeley/ParkerPRSWWCEKK81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PopekWCERT81,
author = {Gerald J. Popek and
Bruce J. Walker and
Johanna M. Chow and
David A. Edwards and
Charles S. Kline and
Gerard Rudisin and
Greg Thiel},
editor = {John Howard and
David P. Reed},
title = {{LOCUS} - {A} Network Transparent, High Reliability Distributed System},
booktitle = {Proceedings of the Eighth Symposium on Operating System Principles,
{SOSP} 1981, Asilomar Conference Grounds, Pacific Grove, California,
USA, December 14-16, 1981},
pages = {169--177},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800216.806605},
doi = {10.1145/800216.806605},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/PopekWCERT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WalkerKP80,
author = {Bruce J. Walker and
Richard A. Kemmerer and
Gerald J. Popek},
title = {Specification and Verification of the {UCLA} Unix Security Kernel},
journal = {Commun. {ACM}},
volume = {23},
number = {2},
pages = {118--131},
year = {1980},
url = {https://doi.org/10.1145/358818.358825},
doi = {10.1145/358818.358825},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/WalkerKP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/MenascePM80,
author = {Daniel A. Menasc{\'{e}} and
Gerald J. Popek and
Richard R. Muntz},
title = {A Locking Protocol for Resource Coordination in Distributed Databases},
journal = {{ACM} Trans. Database Syst.},
volume = {5},
number = {2},
pages = {103--138},
year = {1980},
url = {https://doi.org/10.1145/320141.320143},
doi = {10.1145/320141.320143},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/MenascePM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/PopekK79,
author = {Gerald J. Popek and
Charles S. Kline},
title = {Encryption and Secure Computer Networks},
journal = {{ACM} Comput. Surv.},
volume = {11},
number = {4},
pages = {331--356},
year = {1979},
url = {https://doi.org/10.1145/356789.356794},
doi = {10.1145/356789.356794},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/PopekK79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mark2/PopekKKSUW79,
author = {Gerald J. Popek and
Mark Kampe and
Charles S. Kline and
Allen Stoughton and
Michael Urban and
Evelyn Walton},
title = {{UCLA} Secure Unix},
booktitle = {1979 International Workshop on Managing Requirements Knowledge, {MARK}
1979, New York, NY, USA, June 4-7, 1979},
pages = {355--364},
publisher = {{IEEE}},
year = {1979},
url = {https://doi.org/10.1109/MARK.1979.8817171},
doi = {10.1109/MARK.1979.8817171},
timestamp = {Tue, 08 Nov 2022 21:42:40 +0100},
biburl = {https://dblp.org/rec/conf/mark2/PopekKKSUW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mark2/KlineP79,
author = {Charles S. Kline and
Gerald J. Popek},
title = {Public key vs. conventional key encryption},
booktitle = {1979 International Workshop on Managing Requirements Knowledge, {MARK}
1979, New York, NY, USA, June 4-7, 1979},
pages = {831--838},
publisher = {{IEEE}},
year = {1979},
url = {https://doi.org/10.1109/MARK.1979.8817073},
doi = {10.1109/MARK.1979.8817073},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mark2/KlineP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BadalP79,
author = {Dushan Z. Badal and
Gerald J. Popek},
editor = {Philip A. Bernstein},
title = {Cost and Performance Analysis of Semantic Integrity Validation Methods},
booktitle = {Proceedings of the 1979 {ACM} {SIGMOD} International Conference on
Management of Data, Boston, Massachusetts, USA, May 30 - June 1},
pages = {109--115},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/582095.582112},
doi = {10.1145/582095.582112},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/BadalP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WalkerKP79,
author = {Bruce J. Walker and
Richard A. Kemmerer and
Gerald J. Popek},
editor = {Michael D. Schroeder and
Anita K. Jones},
title = {Specification and Verification of the {UCLA} Unix Security Kernel
(Extended Abstract)},
booktitle = {Proceedings of the Seventh Symposium on Operating System Principles,
{SOSP} 1979, Asilomar Conference Grounds, Pacific Grove, California,
USA, 10-12, December 1979},
pages = {64--65},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/800215.806571},
doi = {10.1145/800215.806571},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/WalkerKP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/DownsP79,
author = {Deborah Downs and
Gerald J. Popek},
editor = {Ant{\'{o}}nio L. Furtado and
Howard L. Morgan},
title = {Data Base Management Systems Security and {INGRES}},
booktitle = {Fifth International Conference on Very Large Data Bases, October 3-5,
1979, Rio de Janeiro, Brazil, Proceedings},
pages = {280--290},
publisher = {{IEEE} Computer Society},
year = {1979},
timestamp = {Tue, 06 Feb 2024 14:19:46 +0100},
biburl = {https://dblp.org/rec/conf/vldb/DownsP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LondonGHLMP78,
author = {Ralph L. London and
John V. Guttag and
James J. Horning and
Butler W. Lampson and
James G. Mitchell and
Gerald J. Popek},
title = {Proof Rules for the Programming Language Euclid},
journal = {Acta Informatica},
volume = {10},
pages = {1--26},
year = {1978},
url = {https://doi.org/10.1007/BF00260921},
doi = {10.1007/BF00260921},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LondonGHLMP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/PopekF78,
author = {Gerald J. Popek and
David A. Farber},
title = {A Model for Verification of Data Security in Operating Systems},
journal = {Commun. {ACM}},
volume = {21},
number = {9},
pages = {737--749},
year = {1978},
url = {https://doi.org/10.1145/359588.359597},
doi = {10.1145/359588.359597},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/PopekF78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/PopekK78,
author = {Gerald J. Popek and
Charles S. Kline},
editor = {Michael J. Flynn and
Jim Gray and
Anita K. Jones and
Klaus Lagally and
Holger Opderbeck and
Gerald J. Popek and
Brian Randell and
Jerome H. Saltzer and
Hans{-}R{\"{u}}diger Wiehle},
title = {Issues in Kernel Design},
booktitle = {Operating Systems, An Advanced Course},
series = {Lecture Notes in Computer Science},
volume = {60},
pages = {209--227},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08755-9\_5},
doi = {10.1007/3-540-08755-9\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/PopekK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/PopekK78a,
author = {Gerald J. Popek and
Charles S. Kline},
editor = {Michael J. Flynn and
Jim Gray and
Anita K. Jones and
Klaus Lagally and
Holger Opderbeck and
Gerald J. Popek and
Brian Randell and
Jerome H. Saltzer and
Hans{-}R{\"{u}}diger Wiehle},
title = {Design Issues for Secure Computer Networks},
booktitle = {Operating Systems, An Advanced Course},
series = {Lecture Notes in Computer Science},
volume = {60},
pages = {517--546},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08755-9\_11},
doi = {10.1007/3-540-08755-9\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/PopekK78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/PopekK78,
author = {Gerald J. Popek and
Charles S. Kline},
editor = {Sakti P. Ghosh and
Leonard Y. Liu},
title = {Issues in kernel design},
booktitle = {American Federation of Information Processing Societies: 1978 National
Computer Conference, June 5-8, 1978, Anaheim, CA, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {47},
pages = {1079--1086},
publisher = {{AFIPS} Press},
year = {1978},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/afips/PopekK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/berkeley/BadalP78,
author = {Dushan Z. Badal and
Gerald J. Popek},
title = {A Proposal for Distributed Concurrency Control for Partially Redundant
Distributed Data Base Systems},
booktitle = {Proceedings of the Third Berkeley Workshop on Distributed Data Management
and Computer Networks, August 29-31, 1978},
pages = {273--285},
publisher = {Technical Information Department, Lawrence Berkeley Laboratory, University
of California, Berkeley {CA}},
year = {1978},
timestamp = {Sat, 03 Aug 2019 18:08:49 +0200},
biburl = {https://dblp.org/rec/conf/berkeley/BadalP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pc/LondonGHLMP78,
author = {Ralph L. London and
John V. Guttag and
James J. Horning and
Butler W. Lampson and
James G. Mitchell and
Gerald J. Popek},
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Proof Rules for the Programming Language Euclid},
booktitle = {Program Construction, International Summer School, July 26 - August
6, 1978, Marktoberdorf, Germany},
series = {Lecture Notes in Computer Science},
volume = {69},
pages = {133--163},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0014666},
doi = {10.1007/BFB0014666},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pc/LondonGHLMP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MenascePM78,
author = {Daniel A. Menasc{\'{e}} and
Gerald J. Popek and
Richard R. Muntz},
editor = {Eugene I. Lowenthal and
Nell B. Dale},
title = {A Locking Protocol for Resource Coordination in Distributed Databases
(Abstract)},
booktitle = {Proceedings of the 1978 {ACM} {SIGMOD} International Conference on
Management of Data, Austin, Texas, USA, May 31 - June 2, 1978},
pages = {2},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/509252.509256},
doi = {10.1145/509252.509256},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/MenascePM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/1978os,
editor = {Michael J. Flynn and
Jim Gray and
Anita K. Jones and
Klaus Lagally and
Holger Opderbeck and
Gerald J. Popek and
Brian Randell and
Jerome H. Saltzer and
Hans{-}R{\"{u}}diger Wiehle},
title = {Operating Systems, An Advanced Course},
series = {Lecture Notes in Computer Science},
volume = {60},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08755-9},
doi = {10.1007/3-540-08755-9},
isbn = {3-540-08755-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/1978os.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/DownsP77,
author = {Deborah Downs and
Gerald J. Popek},
title = {A Kernel Design for a Secure Data Base Management System},
journal = {{IEEE} Database Eng. Bull.},
volume = {1},
number = {4},
pages = {8--14},
year = {1977},
url = {http://sites.computer.org/debull/77DEC-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/DownsP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/LampsonHLMP77,
author = {Butler W. Lampson and
James J. Horning and
Ralph L. London and
James G. Mitchell and
Gerald J. Popek},
title = {Report on the programming language Euclid},
journal = {{ACM} {SIGPLAN} Notices},
volume = {12},
number = {2},
pages = {1--79},
year = {1977},
url = {https://doi.org/10.1145/954666.971189},
doi = {10.1145/954666.971189},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/LampsonHLMP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldrs/PopekHLML77,
author = {Gerald J. Popek and
James J. Horning and
Butler W. Lampson and
James G. Mitchell and
Ralph L. London},
editor = {David B. Wortman},
title = {Notes on the Design of Euclid},
booktitle = {Proceedings of an {ACM} Conference on Language Design for Reliable
Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
pages = {11--18},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800022.808307},
doi = {10.1145/800022.808307},
timestamp = {Wed, 23 Feb 2022 15:57:35 +0100},
biburl = {https://dblp.org/rec/conf/ldrs/PopekHLML77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/DownsP77,
author = {Deborah Downs and
Gerald J. Popek},
title = {A Kernel Design for a Secure Data Base Management System},
booktitle = {Proceedings of the Third International Conference on Very Large Data
Bases, October 6-8, 1977, Tokyo, Japan},
pages = {507--514},
publisher = {{IEEE} Computer Society},
year = {1977},
timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
biburl = {https://dblp.org/rec/conf/vldb/DownsP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/db/SnuggsPP75,
author = {Mary E. Snuggs and
Gerald J. Popek and
Ronald J. Peterson},
title = {Data Base System Objectives as Design Constraints},
journal = {Data Base},
volume = {6},
number = {3},
pages = {11--20},
year = {1975},
url = {https://doi.org/10.1145/1017558.1017561},
doi = {10.1145/1017558.1017561},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/db/SnuggsPP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/relsoft/PopekK75,
author = {Gerald J. Popek and
Charles S. Kline},
editor = {Martin L. Shooman and
Raymond T. Yeh},
title = {A verifiable protection system},
booktitle = {Proceedings of the International Conference on Reliable Software 1975,
Los Angeles, California, USA, April 21-23, 1975},
pages = {294--304},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800027.808451},
doi = {10.1145/800027.808451},
timestamp = {Mon, 21 Feb 2022 14:26:04 +0100},
biburl = {https://dblp.org/rec/conf/relsoft/PopekK75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PopekK75,
author = {Gerald J. Popek and
Charles S. Kline},
editor = {James C. Browne and
Juan Rodriguez{-}Rosell},
title = {The {PDP-11} Virtual Machine Architecture: {A} Case Study},
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 = {97--105},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800213.806527},
doi = {10.1145/800213.806527},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/PopekK75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigops/Popek75,
author = {Gerald J. Popek},
editor = {Wesley W. Chu and
Vinton G. Cerf and
T. C. Chen and
R. Stockton Gains and
Butler W. Lampson},
title = {On data secure computer networks},
booktitle = {Proceedings of the 1975 {ACM} {SIGCOMM/SIGOPS} Workshop on Interprocess
Communications, {USA}},
pages = {59--62},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800272.810901},
doi = {10.1145/800272.810901},
timestamp = {Tue, 22 Mar 2022 09:27:32 +0100},
biburl = {https://dblp.org/rec/journals/sigops/Popek75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/PopekG74,
author = {Gerald J. Popek and
Robert P. Goldberg},
title = {Formal Requirements for Virtualizable Third Generation Architectures},
journal = {Commun. {ACM}},
volume = {17},
number = {7},
pages = {412--421},
year = {1974},
url = {https://doi.org/10.1145/361011.361073},
doi = {10.1145/361011.361073},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/PopekG74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Popek74,
author = {Gerald J. Popek},
title = {Protection structures},
journal = {Computer},
volume = {7},
number = {6},
pages = {22--33},
year = {1974},
url = {https://doi.org/10.1109/MC.1974.6323580},
doi = {10.1109/MC.1974.6323580},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Popek74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/SnuggsPP74,
author = {Mary E. Snuggs and
Gerald J. Popek and
Ronald J. Peterson},
editor = {Roger C. Brown and
Donald E. Glaze},
title = {Data base system objectives as design constraints},
booktitle = {Proceedings of the 1974 {ACM} Annual Conference, San Diego, California,
USA, November 1974, Volume 2},
pages = {641--647},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/1408800.1408871},
doi = {10.1145/1408800.1408871},
timestamp = {Wed, 14 Apr 2021 11:40:49 +0200},
biburl = {https://dblp.org/rec/conf/acm/SnuggsPP74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/BisbeyP74,
author = {Richard L. Bisbey II and
Gerald J. Popek},
editor = {Roger C. Brown and
Donald E. Glaze},
title = {Encapsulation: an approach to operating system security},
booktitle = {Proceedings of the 1974 {ACM} Annual Conference, San Diego, California,
USA, November 1974, Volume 2},
pages = {666--675},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/1408800.1408877},
doi = {10.1145/1408800.1408877},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acm/BisbeyP74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/PopekK74,
author = {Gerald J. Popek and
Charles S. Kline},
title = {Verifiable secure operating system software},
booktitle = {American Federation of Information Processing Societies: 1974 National
Computer Conference, 6-10 May 1974, Chicago, Illinois, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {43},
pages = {145--151},
publisher = {{AFIPS} Press},
year = {1974},
url = {https://doi.org/10.1145/1500175.1500204},
doi = {10.1145/1500175.1500204},
timestamp = {Wed, 14 Apr 2021 16:50:07 +0200},
biburl = {https://dblp.org/rec/conf/afips/PopekK74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/LipnerWSPNWL74,
author = {Steven B. Lipner and
William A. Wulf and
Roger R. Schell and
Gerald J. Popek and
Peter G. Neumann and
Clark Weissman and
Theodore A. Linden},
title = {Security kernels},
booktitle = {American Federation of Information Processing Societies: 1974 National
Computer Conference, 6-10 May 1974, Chicago, Illinois, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {43},
pages = {973--980},
publisher = {{AFIPS} Press},
year = {1974},
url = {https://doi.org/10.1145/1500175.1500361},
doi = {10.1145/1500175.1500361},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/afips/LipnerWSPNWL74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Popek73,
author = {Gerald J. Popek},
editor = {Irwin E. Perlin and
Thomas J. McConnell Jr.},
title = {Correctness in access control},
booktitle = {Proceedings of the {ACM} annual conference, Atlanta, Georgia, USA,
August 27-29, 1973},
pages = {236--241},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800192.805711},
doi = {10.1145/800192.805711},
timestamp = {Wed, 14 Apr 2021 11:40:49 +0200},
biburl = {https://dblp.org/rec/conf/acm/Popek73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PopekG73,
author = {Gerald J. Popek and
Robert P. Goldberg},
editor = {Herbert Schorr and
Alan J. Perlis and
Peter Weiner and
W. Donald Frazer},
title = {Formal Requirements for Virtualizable Third Generation Architectures},
booktitle = {Proceedings of the Fourth Symposium on Operating System Principles,
{SOSP} 1973, Thomas J. Watson, Research Center, Yorktown Heights,
New York, USA, October 15-17, 1973},
pages = {121},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800009.808061},
doi = {10.1145/800009.808061},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/PopekG73.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 2023-09-28 03:35 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:
