Gerald J. Popek

According to our database, Gerald J. Popek authored at least 83 papers between 1973 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

The <i>Conquest</i> file system: Better performance through a disk/persistent-RAM hybrid design.

An-I Andy Wang, Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek

ACM Trans. Storage, 2006

2004

Roam: A Scalable Replication System for Mobility.

David Ratner, Peter L. Reiher, Gerald J. Popek

Mob. Networks Appl., 2004

Resilient self-organizing overlay networks for security update delivery.

Jun Li, Peter L. Reiher, Gerald J. Popek

IEEE J. Sel. Areas Commun., 2004

2003

Securing nomads: the case for quarantine, examination, and decontamination.

Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher

Proceedings of the New Security Paradigms Workshop 2003, 2003

Enabling Secure Ubiquitous Interactions.

Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher

Proceedings of the International Middleware Conference, 2003

2002

Conquest: Better Performance Through a Disk/Persistent-RAM Hybrid File System.

An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Simplifying automated hoarding methods.

Geoffrey H. Kuenning, Wilkie Ma, Peter L. Reiher, Gerald J. Popek

Proceedings of the 5th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2002

Disseminating Security Updates at Internet Scale

Jun Li, Peter L. Reiher, Gerald J. Popek

Advances in Information Security 8, Springer, 2002

2001

Replication Requirements in Mobile Environments.

David Ratner, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning

Mob. Networks Appl., 2001

The Bengal Database Replication System.

Todd Ekenstam, Charles Matheny, Peter L. Reiher, Gerald J. Popek

Distributed Parallel Databases, 2001

The Conquest File System's Life after Disks.

An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

2000

A conceptual framework for network and client adaptation.

B. R. Badrinath, Armando Fox, Leonard Kleinrock, Gerald J. Popek, Peter L. Reiher, Mahadev Satyanarayanan

Mob. Networks Appl., 2000

1999

The Remote Processing Framework for Portable Computer Power Saving.

Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Securing information transmission by redundancy.

Jun Li, Peter L. Reiher, Gerald J. Popek

Proceedings of the 1999 Workshop on New Security Paradigms, 1999

Peer Replication with Selective Control.

David Ratner, Peter L. Reiher, Gerald J. Popek, Richard G. Guy

Proceedings of the Mobile Data Access, First International Conference, 1999

Conductor: A Framework for Distributed Adaptation.

Mark Yarvis, Peter L. Reiher, Gerald J. Popek

Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, 1999

Command Management System for Next-Generation User Input.

Mitchell Tsai, Peter L. Reiher, Gerald J. Popek

Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, 1999

Roam: A Scalable Replication System for Mobile Computing.

David Ratner, Peter L. Reiher, Gerald J. Popek

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998

Perspectives on Optimistically Replicated, Peer-to-Peer Filing.

Thomas W. Page Jr., Richard G. Guy, John S. Heidemann, David Ratner, Peter L. Reiher, Ashish Goel, Geoffrey H. Kuenning, Gerald J. Popek

Softw. Pract. Exp., 1998

Saving portable computer battery power through remote process execution.

Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning

ACM SIGMOBILE Mob. Comput. Commun. Rev., 1998

Frigate: a user-extensible OO file system.

Ted H. Kim, Gerald J. Popek

IEEE Concurr., 1998

View Consistency for Optimistic Replication.

Ashvin Goel, Calton Pu, Gerald J. Popek

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication.

Richard G. Guy, Peter L. Reiher, David Ratner, Michial A. Gunter, Wilkie Ma, Gerald J. Popek

Proceedings of the Advances in Database Technologies, 1998

Measuring the Quality of Service of Optimistic Replication.

Geoffrey H. Kuenning, Rajive L. Bagrodia, Richard G. Guy, Gerald J. Popek, Peter L. Reiher, An-I Wang

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Experience with an Automated Hoarding System.

Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek

Pers. Ubiquitous Comput., 1997

Automated Hoarding for Mobile Computers.

Geoffrey H. Kuenning, Gerald J. Popek

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Frigate: An Object-Oriented File System for Ordinary Users.

Ted H. Kim, Gerald J. Popek

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1995

Vision, issues, and architecture for nomadic computing [and communications].

Rajive L. Bagrodia, Wesley W. Chu, Leonard Kleinrock, Gerald J. Popek

IEEE Wirel. Commun., 1995

Performance of Cache Coherence in Stackable Filing.

John S. Heidemann, Gerald J. Popek

Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994

File-System Development with Stackable Layers.

John S. Heidemann, Gerald J. Popek

ACM Trans. Comput. Syst., 1994

Resolving File Conflicts in the Ficus File System.

Peter L. Reiher, John S. Heidemann, David Ratner, Gregory Skinner, Gerald J. Popek

Proceedings of the USENIX Summer 1994 Technical Conference, 1994

An Analysis of Trace Data for Predictive File Caching in Mobile Computing.

Geoffrey H. Kuenning, Gerald J. Popek, Peter L. Reiher

Proceedings of the USENIX Summer 1994 Technical Conference, 1994

1993

Consistency algorithms for optimistic replication.

Richard G. Guy, Gerald J. Popek, Thomas W. Page Jr.

Proceedings of the 1993 International Conference on Network Protocols, 1993

1992

The Ficus Replicated File System (Abstract).

Richard G. Guy, John S. Heidemann, Thomas W. Page Jr., Gerald J. Popek

ACM SIGOPS Oper. Syst. Rev., 1992

Primarily Disconnected Operation: Experiences with Ficus.

John S. Heidemann, Thomas W. Page Jr., Richard G. Guy, Gerald J. Popek

Proceedings of the Second Workshop on the Management of Replicated Data, 1992

Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors.

Yuguang Wu, Gerald J. Popek, Richard R. Muntz

Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992

1991

Management of Replicated Volume Location Data in the Ficus Replicated File System.

Thomas W. Page Jr., Richard G. Guy, John S. Heidemann, Gerald J. Popek, Wai Mak, Dieter Rothmeier

Proceedings of the Summer 1991 USENIX Conference, Nashville, TE, USA, June 1991, 1991

1990

Replication in Ficus Distributed File Systems.

Gerald J. Popek, Richard G. Guy, Thomas W. Page Jr., John S. Heidemann

Proceedings of the First Workshop on the Management of Replicated Data, 1990

Implementation of the Ficus Replicated File System.

Richard G. Guy, John S. Heidemann, Wai-Kei Mak, Thomas W. Page Jr., Gerald J. Popek, Dieter Rothmeier

Proceedings of the Usenix Summer 1990 Technical Conference, 1990

1989

Mirage: A Coherent Distributed Shared Memory Design.

Brett D. Fleisch, Gerald J. Popek

Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989

1988

Autonomy and interdependence: an intermediate position.

Gerald J. Popek

Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

1987

Locus Naming in a Large Scale Environment.

Peter L. Reiher, Gerald J. Popek

Proceedings of the Kommunikation in Verteilten Systemen, 1987

1986

Internet Locus: Extending Transparency to an Internet Environment.

Alan B. Sheltzer, Gerald J. Popek

IEEE Trans. Software Eng., 1986

Name Service Locality and Cache Design in a Distributed Operating System.

Alan B. Sheltzer, Robert Lindell, Gerald J. Popek

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985

Transactions and Synchronization in a Distributed Operating System.

Matthew J. Weinstein, Thomas W. Page Jr., Brian Livezey, Gerald J. Popek

Proceedings of the Tenth ACM Symposium on Operating System Principles, 1985

Genesis: A Distributed Database Operating System.

Thomas W. Page Jr., Matthew J. Weinstein, Gerald J. Popek

Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, 1985

Distributed Management in Local Area Networks.

Thomas W. Page Jr., Gerald J. Popek

Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1985

1984

A Dual Priority MVA Model for a Large Distributed System: LOCUS.

Joseph Betser, Mario Gerla, Gerald J. Popek

Proceedings of the Performance '84, 1984

1983

Detection of Mutual Inconsistency in Distributed Systems.

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

IEEE Trans. Software Eng., 1983

Distributed Data Management Issues in the LOCUS System.

Gerald J. Popek, Greg Thiel

IEEE Database Eng. Bull., 1983

The LOCUS Distributed Operating System.

Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel

Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

A Nested Transaction Mechanism for LOCUS.

Erik T. Mueller, Johanna D. Moore, Gerald J. Popek

Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

A Validated Distributed System Performance Model.

Arthur P. Goldberg, Gerald J. Popek, Stephen S. Lavenberg

Proceedings of the Performance '83, 1983

1981

LOCUS - A Network Transparent, High Reliability Distributed System.

Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Charles S. Kline, Gerard Rudisin, Greg Thiel

Proceedings of the Eighth Symposium on Operating System Principles, 1981

Detection of Mutual Inconsitency in Distributed Systems.

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

Proceedings of the Fifth Berkeley Workshop on Distributed Data Management and Computer Networks, 1981

Notes on distributed systems of microprocessors.

Gerald J. Popek

Proceedings of the Microcomputer System Design, 1981

1980

A Locking Protocol for Resource Coordination in Distributed Databases.

Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz

ACM Trans. Database Syst., 1980

Specification and Verification of the UCLA Unix Security Kernel.

Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek

Commun. ACM, 1980

1979

Encryption and Secure Computer Networks.

Gerald J. Popek, Charles S. Kline

ACM Comput. Surv., 1979

Data Base Management Systems Security and INGRES.

Deborah Downs, Gerald J. Popek

Proceedings of the Fifth International Conference on Very Large Data Bases, 1979

Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract).

Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek

Proceedings of the Seventh Symposium on Operating System Principles, 1979

Cost and Performance Analysis of Semantic Integrity Validation Methods.

Dushan Z. Badal, Gerald J. Popek

Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, USA, May 30, 1979

UCLA Secure Unix.

Gerald J. Popek, Mark Kampe, Charles S. Kline, Allen Stoughton, Michael Urban, Evelyn Walton

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

Public key vs. conventional key encryption.

Charles S. Kline, Gerald J. Popek

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1978

A Model for Verification of Data Security in Operating Systems.

Gerald J. Popek, David A. Farber

Commun. ACM, 1978

Proof Rules for the Programming Language Euclid.

Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek

Acta Informatica, 1978

A Locking Protocol for Resource Coordination in Distributed Databases (Abstract).

Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz

Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 31, 1978

A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems.

Dushan Z. Badal, Gerald J. Popek

Proceedings of the Third Berkeley Workshop on Distributed Data Management and Computer Networks, 1978

Design Issues for Secure Computer Networks.

Gerald J. Popek, Charles S. Kline

Proceedings of the Operating Systems, 1978

Issues in Kernel Design.

Gerald J. Popek, Charles S. Kline

Proceedings of the Operating Systems, 1978

1977

Report on the programming language Euclid.

Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek

ACM SIGPLAN Notices, 1977

A Kernel Design for a Secure Data Base Management System.

Deborah Downs, Gerald J. Popek

IEEE Database Eng. Bull., 1977

Notes on the Design of Euclid.

Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London

Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

1975

On data secure computer networks.

Gerald J. Popek

Proceedings of the 1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess Communications, USA, 1975

Data Base System Objectives as Design Constraints.

Mary E. Snuggs, Gerald J. Popek, Ronald J. Peterson

Data Base, 1975

The PDP-11 Virtual Machine Architecture: A Case Study.

Gerald J. Popek, Charles S. Kline

Proceedings of the Fifth Symposium on Operating System Principles, 1975

A verifiable protection system.

Gerald J. Popek, Charles S. Kline

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

Protection structures.

Gerald J. Popek

Computer, 1974

Formal Requirements for Virtualizable Third Generation Architectures.

Gerald J. Popek, Robert P. Goldberg

Commun. ACM, 1974

Verifiable secure operating system software.

Gerald J. Popek, Charles S. Kline

Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

Security kernels.

Steven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden

Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

Encapsulation: an approach to operating system security.

Richard L. Bisbey II, Gerald J. Popek

Proceedings of the 1974 ACM Annual Conference, 1974

1973

Correctness in access control.

Gerald J. Popek

Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973, 1973