Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gerald J. Popek
2000 – 2009
- 2006
[j25]An-I Andy Wang, Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek: The Conquest file system: Better performance through a disk/persistent-RAM hybrid design. TOS 2(3): 309-348 (2006)- 2004
- [j24]Jun Li, Peter L. Reiher, Gerald J. Popek: Resilient self-organizing overlay networks for security update delivery. IEEE Journal on Selected Areas in Communications 22(1): 189-202 (2004)
- [j23]David Ratner, Peter L. Reiher, Gerald J. Popek: Roam: A Scalable Replication System for Mobility. MONET 9(5): 537-544 (2004)
- 2003
- [c52]Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher: Enabling Secure Ubiquitous Interactions. Middleware Workshops 2003: 76-80
- [c51]Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher: Securing nomads: the case for quarantine, examination, and decontamination. NSPW 2003: 123-128
- 2002
- [b1]Jun Li, Peter L. Reiher, Gerald J. Popek: Disseminating Security Updates at Internet Scale. Advances in Information Security 8, Springer 2002, pp. 1-144
- [c50]Geoffrey H. Kuenning, Wilkie Ma, Peter L. Reiher, Gerald J. Popek: Simplifying automated hoarding methods. MSWiM 2002: 15-21
- [c49]An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning: Conquest: Better Performance Through a Disk/Persistent-RAM Hybrid File System. USENIX Annual Technical Conference, General Track 2002: 15-28
- 2001
- [j22]Todd Ekenstam, Charles Matheny, Peter L. Reiher, Gerald J. Popek: The Bengal Database Replication System. Distributed and Parallel Databases 9(3): 187-210 (2001)
- [j21]David Ratner, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning: Replication Requirements in Mobile Environments. MONET 6(6): 525-533 (2001)
- [c48]An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning: The Conquest File System's Life after Disks. HotOS 2001: 186
- 2000
- [j20]B. R. Badrinath, Armando Fox, Leonard Kleinrock, Gerald J. Popek, Peter L. Reiher, Mahadev Satyanarayanan: A conceptual framework for network and client adaptation. MONET 5(4): 221-231 (2000)
1990 – 1999
- 1999
- [c47]David Ratner, Peter L. Reiher, Gerald J. Popek: Roam: A Scalable Replication System for Mobile Computing. DEXA Workshop 1999: 96-104
- [c46]Mark Yarvis, Peter L. Reiher, Gerald J. Popek: Conductor: A Framework for Distributed Adaptation. Workshop on Hot Topics in Operating Systems 1999: 44-
- [c45]Mitchell Tsai, Peter L. Reiher, Gerald J. Popek: Command Management System for Next-Generation User Input. Workshop on Hot Topics in Operating Systems 1999: 179-184
- [c44]David Ratner, Peter L. Reiher, Gerald J. Popek, Richard G. Guy: Peer Replication with Selective Control. MDA 1999: 169-181
- [c43]Jun Li, Peter L. Reiher, Gerald J. Popek: Securing information transmission by redundancy. NSPW 1999: 112-117
- [c42]Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning: The Remote Processing Framework for Portable Computer Power Saving. SAC 1999: 365-372
- 1998
- [j19]Ted H. Kim, Gerald J. Popek: Frigate: a user-extensible OO file system. IEEE Concurrency 6(4): 26-35 (1998)
- [j18]Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning: Saving portable computer battery power through remote process execution. Mobile Computing and Communications Review 2(1): 19-26 (1998)
- [j17]Thomas W. Page Jr., Richard G. Guy, John S. Heidemann, David Ratner, Peter L. Reiher, Ashish Goel, Geoffrey H. Kuenning, Gerald J. Popek: Perspectives on Optimistically Replicated, Peer-to-Peer Filing. Softw., Pract. Exper. 28(2): 155-180 (1998)
- [c41]Geoffrey H. Kuenning, Rajive Bagrodia, Richard G. Guy, Gerald J. Popek, Peter L. Reiher, An-I Wang: Measuring the Quality of Service of Optimistic Replication. ECOOP Workshops 1998: 319-320
- [c40]Richard G. Guy, Peter L. Reiher, David Ratner, Michial Gunter, Wilkie Ma, Gerald J. Popek: Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication. ER Workshops 1998: 254-265
- [c39]Ashvin Goel, Calton Pu, Gerald J. Popek: View Consistency for Optimistic Replication. SRDS 1998: 36-42
- [i1]Erik T. Mueller, Johanna D. Moore, Gerald J. Popek: A nested transaction mechanism for LOCUS. CoRR cs.OS/9812011 (1998)
- 1997
- [j16]Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek: Experience with an Automated Hoarding System. Personal and Ubiquitous Computing 1(3): 145-155 (1997)
- [c38]Ted H. Kim, Gerald J. Popek: Frigate: An Object-Oriented File System for Ordinary Users. COOTS 1997: 115-130
- [c37]
- 1995
- [j15]Rajive Bagrodia, Wesley W. Chu, Leonard Kleinrock, Gerald J. Popek: Vision, issues, and architecture for nomadic computing [and communications]. IEEE Personal Commun. 2(6): 14-27 (1995)
- [c36]John S. Heidemann, Gerald J. Popek: Performance of Cache Coherence in Stackable Filing. SOSP 1995: 127-142
- 1994
- [j14]John S. Heidemann, Gerald J. Popek: File-System Development with Stackable Layers. ACM Trans. Comput. Syst. 12(1): 58-89 (1994)
- [c35]Peter L. Reiher, John S. Heidemann, David Ratner, Gregory Skinner, Gerald J. Popek: Resolving File Conflicts in the Ficus File System. USENIX Summer 1994: 183-195
- [c34]Geoffrey H. Kuenning, Gerald J. Popek, Peter L. Reiher: An Analysis of Trace Data for Predictive File Caching in Mobile Computing. USENIX Summer 1994: 291-303
- 1992
- [j13]Richard G. Guy, John S. Heidemann, Thomas W. Page Jr., Gerald J. Popek: The Ficus Replicated File System (Abstract). Operating Systems Review 26(2): 26 (1992)
- [c33]Yuguang Wu, Gerald J. Popek, Richard R. Muntz: Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors. SPDP 1992: 507-514
- [c32]John S. Heidemann, Thomas W. Page Jr., Richard G. Guy, Gerald J. Popek: Primarily Disconnected Operation: Experiences with Ficus. Workshop on the Management of Replicated Data 1992: 2-5
- 1991
- [c31]Thomas W. Page Jr., Richard G. Guy, John S. Heidemann, Gerald J. Popek, Wai Mak, Dieter Rothmeier: Management of Replicated Volume Location Data in the Ficus Replicated File System. USENIX Summer 1991: 17-30
- 1990
- [c30]Richard G. Guy, John S. Heidemann, Wai-Kei Mak, Thomas W. Page Jr., Gerald J. Popek, Dieter Rothmeier: Implementation of the Ficus Replicated File System. USENIX Summer 1990: 63-72
- [c29]Gerald J. Popek, Richard G. Guy, Thomas W. Page Jr., John S. Heidemann: Replication in Ficus Distributed File Systems. Workshop on the Management of Replicated Data 1990: 5-10
1980 – 1989
- 1989
- [c28]Brett D. Fleisch, Gerald J. Popek: Mirage: A Coherent Distributed Shared Memory Design. SOSP 1989: 211-223
- 1988
- [c27]Gerald J. Popek: Autonomy and interdependence: an intermediate position. ACM SIGOPS European Workshop 1988
- 1987
- [c26]Peter L. Reiher, Gerald J. Popek: Locus Naming in a Large Scale Environment. Kommunikation in Verteilten Systemen 1987: 167-177
- 1986
- [j12]Alan B. Sheltzer, Gerald J. Popek: Internet Locus: Extending Transparency to an Internet Environment. IEEE Trans. Software Eng. 12(11): 1067-1075 (1986)
- [c25]Alan B. Sheltzer, Robert Lindell, Gerald J. Popek: Name Service Locality and Cache Design in a Distributed Operating System. ICDCS 1986: 515-522
- 1985
- [c24]Thomas W. Page Jr., Gerald J. Popek: Distributed Management in Local Area Networks. PODS 1985: 135-142
- [c23]Thomas W. Page Jr., Matthew J. Weinstein, Gerald J. Popek: Genesis: A Distributed Database Operating System. SIGMOD Conference 1985: 374-387
- [c22]Matthew J. Weinstein, Thomas W. Page Jr., Brian Livezey, Gerald J. Popek: Transactions and Synchronization in a Distributed Operating System. SOSP 1985: 115-126
- 1984
- [c21]Joseph Betser, Mario Gerla, Gerald J. Popek: A Dual Priority MVA Model for a Large Distributed System: LOCUS. Performance 1984: 51-66
- 1983
- [j11]Gerald J. Popek, Greg Thiel: Distributed Data Management Issues in the LOCUS System. IEEE Database Eng. Bull. 6(2): 63-67 (1983)
- [j10]Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline: Detection of Mutual Inconsistency in Distributed Systems. IEEE Trans. Software Eng. 9(3): 240-247 (1983)
- [c20]Arthur P. Goldberg, Gerald J. Popek, Stephen S. Lavenberg: A Validated Distributed System Performance Model. Performance 1983: 251-268
- [c19]Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel: The LOCUS Distributed Operating System. SOSP 1983: 49-70
- [c18]Erik T. Mueller, Johanna D. Moore, Gerald J. Popek: A Nested Transaction Mechanism for LOCUS. SOSP 1983: 71-89
- 1981
- [c17]Gerald J. Popek: Notes on distributed systems of microprocessors. Advanced Course: Microcomputer System Design 1981: 303-348
- [c16]Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline: Detection of Mutual Inconsitency in Distributed Systems. Berkeley Workshop 1981: 172-184
- [c15]Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Gerard Rudisin, Greg Thiel: LOCUS - A Network Transparent, High Reliability Distributed System. SOSP 1981: 169-177
- 1980
- [j9]Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek: Specification and Verification of the UCLA Unix Security Kernel. Commun. ACM 23(2): 118-131 (1980)
- [j8]Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz: A Locking Protocol for Resource Coordination in Distributed Databases. ACM Trans. Database Syst. 5(2): 103-138 (1980)
1970 – 1979
- 1979
- [j7]Gerald J. Popek, Charles S. Kline: Encryption and Secure Computer Networks. ACM Comput. Surv. 11(4): 331-356 (1979)
- [c14]Dushan Z. Badal, Gerald J. Popek: Cost and Performance Analysis of Semantic Integrity Validation Methods. SIGMOD Conference 1979: 109-115
- [c13]Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek: Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). SOSP 1979: 64-65
- [c12]Deborah Downs, Gerald J. Popek: Data Base Management Systems Security and INGRES. VLDB 1979: 280-290
- 1978
- [j6]Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Acta Inf. 10: 1-26 (1978)
- [j5]Gerald J. Popek, David A. Farber: A Model for Verification of Data Security in Operating Systems. Commun. ACM 21(9): 737-749 (1978)
- [c11]Gerald J. Popek, Charles S. Kline: Issues in Kernel Design. Advanced Course: Operating Systems 1978: 209-227
- [c10]Gerald J. Popek, Charles S. Kline: Design Issues for Secure Computer Networks. Advanced Course: Operating Systems 1978: 517-546
- [c9]Dushan Z. Badal, Gerald J. Popek: A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems. Berkeley Workshop 1978: 273-285
- [c8]Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163
- [c7]Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz: A Locking Protocol for Resource Coordination in Distributed Databases (Abstract). SIGMOD Conference 1978: 2
- [e1]Michael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle (Eds.): Operating Systems, An Advanced Course. Lecture Notes in Computer Science 60, Springer 1978, ISBN 3-540-08755-9
- 1977
- [j4]Deborah Downs, Gerald J. Popek: A Kernel Design for a Secure Data Base Management System. IEEE Database Eng. Bull. 1(4): 8-14 (1977)
- [c6]Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London: Notes on the Design of Euclid. Language Design for Reliable Software 1977: 11-18
- [c5]Deborah Downs, Gerald J. Popek: A Kernel Design for a Secure Data Base Management System. VLDB 1977: 507-514
- 1975
- [j3]Mary E. Snuggs, Gerald J. Popek, Ronald J. Peterson: Data Base System Objectives as Design Constraints. DATA BASE 6(3): 11-20 (1975)
- [j2]
- [c4]Gerald J. Popek, Charles S. Kline: The PDP-11 Virtual Machine Architecture: A Case Study. SOSP 1975: 97-105
- 1974
- [j1]Gerald J. Popek, Robert P. Goldberg: Formal Requirements for Virtualizable Third Generation Architectures. Commun. ACM 17(7): 412-421 (1974)
- [c3]Gerald J. Popek, Charles S. Kline: Verifiable secure operating system software. AFIPS National Computer Conference 1974: 145-151
- [c2]Steven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden: Security kernels. AFIPS National Computer Conference 1974: 973-980
- 1973
- [c1]Gerald J. Popek, Robert P. Goldberg: Formal Requirements for Virtualizable Third Generation Architectures. SOSP 1973: 121
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team