Gerald J. Popek

According to our database1, Gerald J. Popek
  • authored at least 84 papers between 1973 and 2006.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
The Conquest file system: Better performance through a disk/persistent-RAM hybrid design.
TOS, 2006

2004
Roam: A Scalable Replication System for Mobility.
MONET, 2004

Resilient self-organizing overlay networks for security update delivery.
IEEE Journal on Selected Areas in Communications, 2004

2003
Securing nomads: the case for quarantine, examination, and decontamination.
Proceedings of the New Security Paradigms Workshop 2003, 2003

Enabling Secure Ubiquitous Interactions.
Proceedings of the International Middleware Conference, 2003

2002
Conquest: Better Performance Through a Disk/Persistent-RAM Hybrid File System.
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Simplifying automated hoarding methods.
Proceedings of the 5th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2002

Disseminating Security Updates at Internet Scale
Advances in Information Security 8, Springer, 2002

2001
Replication Requirements in Mobile Environments.
MONET, 2001

The Bengal Database Replication System.
Distributed and Parallel Databases, 2001

The Conquest File System's Life after Disks.
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

2000
A conceptual framework for network and client adaptation.
MONET, 2000

1999
The Remote Processing Framework for Portable Computer Power Saving.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Securing information transmission by redundancy.
Proceedings of the 1999 Workshop on New Security Paradigms, 1999

Peer Replication with Selective Control.
Proceedings of the Mobile Data Access, First International Conference, 1999

Conductor: A Framework for Distributed Adaptation.
Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, 1999

Command Management System for Next-Generation User Input.
Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, 1999

Roam: A Scalable Replication System for Mobile Computing.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998
Perspectives on Optimistically Replicated, Peer-to-Peer Filing.
Softw., Pract. Exper., 1998

Saving portable computer battery power through remote process execution.
Mobile Computing and Communications Review, 1998

Frigate: a user-extensible OO file system.
IEEE Concurrency, 1998

A nested transaction mechanism for LOCUS
CoRR, 1998

View Consistency for Optimistic Replication.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication.
Proceedings of the Advances in Database Technologies, 1998

Measuring the Quality of Service of Optimistic Replication.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Experience with an Automated Hoarding System.
Personal and Ubiquitous Computing, 1997

Automated Hoarding for Mobile Computers.
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Frigate: An Object-Oriented File System for Ordinary Users.
Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1995
Vision, issues, and architecture for nomadic computing [and communications].
IEEE Personal Commun., 1995

Performance of Cache Coherence in Stackable Filing.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994
File-System Development with Stackable Layers.
ACM Trans. Comput. Syst., 1994

Resolving File Conflicts in the Ficus File System.
Proceedings of the USENIX Summer 1994 Technical Conference, 1994

An Analysis of Trace Data for Predictive File Caching in Mobile Computing.
Proceedings of the USENIX Summer 1994 Technical Conference, 1994

1993
Consistency algorithms for optimistic replication.
Proceedings of the 1993 International Conference on Network Protocols, 1993

1992
The Ficus Replicated File System (Abstract).
Operating Systems Review, 1992

Primarily Disconnected Operation: Experiences with Ficus.
Workshop on the Management of Replicated Data, 1992

Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors.
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.
Proceedings of the Summer 1991 USENIX Conference, Nashville, TE, USA, June 1991, 1991

1990
Replication in Ficus Distributed File Systems.
Workshop on the Management of Replicated Data, 1990

Implementation of the Ficus Replicated File System.
Proceedings of the Usenix Summer 1990 Technical Conference, 1990

1989
Mirage: A Coherent Distributed Shared Memory Design.
Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989

1988
Autonomy and interdependence: an intermediate position.
Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

1987
Locus Naming in a Large Scale Environment.
Proceedings of the Kommunikation in Verteilten Systemen, 1987

1986
Internet Locus: Extending Transparency to an Internet Environment.
IEEE Trans. Software Eng., 1986

Name Service Locality and Cache Design in a Distributed Operating System.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985
Transactions and Synchronization in a Distributed Operating System.
Proceedings of the Tenth ACM Symposium on Operating System Principles, 1985

Genesis: A Distributed Database Operating System.
Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, 1985

Distributed Management in Local Area Networks.
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.
Proceedings of the Performance '84, 1984

1983
Detection of Mutual Inconsistency in Distributed Systems.
IEEE Trans. Software Eng., 1983

Distributed Data Management Issues in the LOCUS System.
IEEE Database Eng. Bull., 1983

The LOCUS Distributed Operating System.
Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

A Nested Transaction Mechanism for LOCUS.
Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

A Validated Distributed System Performance Model.
Proceedings of the Performance '83, 1983

1981
LOCUS - A Network Transparent, High Reliability Distributed System.
Proceedings of the Eighth Symposium on Operating System Principles, 1981


Notes on distributed systems of microprocessors.
Proceedings of the Microcomputer System Design, 1981

1980
A Locking Protocol for Resource Coordination in Distributed Databases.
ACM Trans. Database Syst., 1980

Specification and Verification of the UCLA Unix Security Kernel.
Commun. ACM, 1980

1979
Encryption and Secure Computer Networks.
ACM Comput. Surv., 1979

Data Base Management Systems Security and INGRES.
Proceedings of the Fifth International Conference on Very Large Data Bases, 1979

Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract).
Proceedings of the Seventh Symposium on Operating System Principles, 1979

Cost and Performance Analysis of Semantic Integrity Validation Methods.
Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, May 30, 1979

1978
A Model for Verification of Data Security in Operating Systems.
Commun. ACM, 1978

Proof Rules for the Programming Language Euclid.
Acta Inf., 1978

A Locking Protocol for Resource Coordination in Distributed Databases (Abstract).
Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, May 31, 1978

Proof Rules for the Programming Language Euclid.
Proceedings of the Program Construction, International Summer School, July 26, 1978

A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems.
Berkeley Workshop, 1978

Design Issues for Secure Computer Networks.
Proceedings of the Operating Systems, 1978

Issues in Kernel Design.
Proceedings of the Operating Systems, 1978

1977
A Kernel Design for a Secure Data Base Management System.
IEEE Database Eng. Bull., 1977

A Kernel Design for a Secure Data Base Management System.
Proceedings of the Third International Conference on Very Large Data Bases, 1977

Notes on the Design of Euclid.
Language Design for Reliable Software, 1977

1975
On data secure computer networks.
Operating Systems Review, 1975

Data Base System Objectives as Design Constraints.
DATA BASE, 1975

The PDP-11 Virtual Machine Architecture: A Case Study.
Proceedings of the Fifth Symposium on Operating System Principles, 1975

1974
Protection structures.
IEEE Computer, 1974

Formal Requirements for Virtualizable Third Generation Architectures.
Commun. ACM, 1974

Verifiable secure operating system software.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

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

Data base system objectives as design constraints.
Proceedings of the 1974 ACM Annual Conference, 1974

Encapsulation: an approach to operating system security.
Proceedings of the 1974 ACM Annual Conference, 1974

1973
Formal Requirements for Virtualizable Third Generation Architectures.
Proceedings of the Fourth Symposium on Operating System Principles, 1973

Correctness in access control.
Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973, 1973


  Loading...