Gerald J. Popek

Publication Activity (10 Years)

Years Active: 1973-2006
Publications (10 Years): 0

Publications

An-I Andy Wang, Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek
file system: Better performance through a disk/persistent-RAM hybrid design. ACM Trans. Storage 2 (3) (2006)
Jun Li, Peter L. Reiher, Gerald J. Popek
Resilient self-organizing overlay networks for security update delivery. IEEE J. Sel. Areas Commun. 22 (1) (2004)
David Ratner, Peter L. Reiher, Gerald J. Popek
Roam: A Scalable Replication System for Mobility. Mob. Networks Appl. 9 (5) (2004)
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)
Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher
Enabling Secure Ubiquitous Interactions. Middleware Workshops (2003)
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)
Geoffrey H. Kuenning, Wilkie Ma, Peter L. Reiher, Gerald J. Popek
Simplifying automated hoarding methods. MSWiM (2002)
Todd Ekenstam, Charles Matheny, Peter L. Reiher, Gerald J. Popek
The Bengal Database Replication System. Distributed Parallel Databases 9 (3) (2001)
An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning
The Conquest File System's Life after Disks. HotOS (2001)
David Ratner, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning
Replication Requirements in Mobile Environments. Mob. Networks Appl. 6 (6) (2001)
B. R. Badrinath, Armando Fox, Leonard Kleinrock, Gerald J. Popek, Peter L. Reiher, Mahadev Satyanarayanan
A conceptual framework for network and client adaptation. Mob. Networks Appl. 5 (4) (2000)
David Ratner, Peter L. Reiher, Gerald J. Popek, Richard G. Guy
Peer Replication with Selective Control. MDA (1999)
Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning
The Remote Processing Framework for Portable Computer Power Saving. SAC (1999)
Mark Yarvis, Peter L. Reiher, Gerald J. Popek
Conductor: A Framework for Distributed Adaptation. Workshop on Hot Topics in Operating Systems (1999)
David Ratner, Peter L. Reiher, Gerald J. Popek
Roam: A Scalable Replication System for Mobile Computing. DEXA Workshop (1999)
Jun Li, Peter L. Reiher, Gerald J. Popek
Securing information transmission by redundancy. NSPW (1999)
Mitchell Tsai, Peter L. Reiher, Gerald J. Popek
Command Management System for Next-Generation User Input. Workshop on Hot Topics in Operating Systems (1999)
Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning
Saving portable computer battery power through remote process execution. ACM SIGMOBILE Mob. Comput. Commun. Rev. 2 (1) (1998)
Ted H. Kim, Gerald J. Popek
Frigate: a user-extensible OO file system. IEEE Concurr. 6 (4) (1998)
Erik T. Mueller, Johanna D. Moore, Gerald J. Popek
A nested transaction mechanism for LOCUS CoRR (1998)
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. Exp. 28 (2) (1998)
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)
Geoffrey H. Kuenning, Rajive L. Bagrodia, Richard G. Guy, Gerald J. Popek, Peter L. Reiher, An-I Wang
Measuring the Quality of Service of Optimistic Replication. ECOOP Workshops (1998)
Ashvin Goel, Calton Pu, Gerald J. Popek
View Consistency for Optimistic Replication. SRDS (1998)
Geoffrey H. Kuenning, Gerald J. Popek
Automated Hoarding for Mobile Computers. SOSP (1997)
Ted H. Kim, Gerald J. Popek
Frigate: An Object-Oriented File System for Ordinary Users. COOTS (1997)
Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek
Experience with an Automated Hoarding System. Pers. Ubiquitous Comput. 1 (3) (1997)
John S. Heidemann, Gerald J. Popek
Performance of Cache Coherence in Stackable Filing. SOSP (1995)
Rajive L. Bagrodia, Wesley W. Chu, Leonard Kleinrock, Gerald J. Popek
Vision, issues, and architecture for nomadic computing [and communications]. IEEE Wirel. Commun. 2 (6) (1995)
Geoffrey H. Kuenning, Gerald J. Popek, Peter L. Reiher
An Analysis of Trace Data for Predictive File Caching in Mobile Computing. USENIX Summer (1994)
John S. Heidemann, Gerald J. Popek
File-System Development with Stackable Layers. ACM Trans. Comput. Syst. 12 (1) (1994)
Peter L. Reiher, John S. Heidemann, David Ratner, Gregory Skinner, Gerald J. Popek
Resolving File Conflicts in the Ficus File System. USENIX Summer (1994)
Richard G. Guy, Gerald J. Popek, Thomas W. Page Jr.
Consistency algorithms for optimistic replication. ICNP (1993)
Richard G. Guy, John S. Heidemann, Thomas W. Page Jr., Gerald J. Popek
The Ficus Replicated File System (Abstract). ACM SIGOPS Oper. Syst. Rev. 26 (2) (1992)
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)
Yuguang Wu, Gerald J. Popek, Richard R. Muntz
Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors. SPDP (1992)
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)
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)
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)
Brett D. Fleisch, Gerald J. Popek
Mirage: A Coherent Distributed Shared Memory Design. SOSP (1989)
Gerald J. Popek
Autonomy and interdependence: an intermediate position. ACM SIGOPS European Workshop (1988)
Peter L. Reiher, Gerald J. Popek
Locus Naming in a Large Scale Environment. Kommunikation in Verteilten Systemen (1987)
Alan B. Sheltzer, Gerald J. Popek
Internet Locus: Extending Transparency to an Internet Environment. IEEE Trans. Software Eng. 12 (11) (1986)
Alan B. Sheltzer, Robert Lindell, Gerald J. Popek
Name Service Locality and Cache Design in a Distributed Operating System. ICDCS (1986)
Thomas W. Page Jr., Gerald J. Popek
Distributed Management in Local Area Networks. PODS (1985)
Matthew J. Weinstein, Thomas W. Page Jr., Brian Livezey, Gerald J. Popek
Transactions and Synchronization in a Distributed Operating System. SOSP (1985)
Thomas W. Page Jr., Matthew J. Weinstein, Gerald J. Popek
Genesis: A Distributed Database Operating System. SIGMOD Conference (1985)
Joseph Betser, Mario Gerla, Gerald J. Popek
A Dual Priority MVA Model for a Large Distributed System: LOCUS. Performance (1984)
Erik T. Mueller, Johanna D. Moore, Gerald J. Popek
A Nested Transaction Mechanism for LOCUS. SOSP (1983)
Gerald J. Popek, Greg Thiel
Distributed Data Management Issues in the LOCUS System. IEEE Database Eng. Bull. 6 (2) (1983)
Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel
The LOCUS Distributed Operating System. SOSP (1983)
Arthur P. Goldberg, Gerald J. Popek, Stephen S. Lavenberg
A Validated Distributed System Performance Model. Performance (1983)
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) (1983)
Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Charles S. Kline, Gerard Rudisin, Greg Thiel
LOCUS - A Network Transparent, High Reliability Distributed System. SOSP (1981)
Gerald J. Popek
Notes on distributed systems of microprocessors. Advanced Course: Microcomputer System Design (1981)
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)
Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek
Specification and Verification of the UCLA Unix Security Kernel. Commun. ACM 23 (2) (1980)
Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz
A Locking Protocol for Resource Coordination in Distributed Databases. ACM Trans. Database Syst. 5 (2) (1980)
Deborah Downs, Gerald J. Popek
Data Base Management Systems Security and INGRES. VLDB (1979)
Gerald J. Popek, Charles S. Kline
Encryption and Secure Computer Networks. ACM Comput. Surv. 11 (4) (1979)
Charles S. Kline, Gerald J. Popek
Public key vs. conventional key encryption. MARK (1979)
Dushan Z. Badal, Gerald J. Popek
Cost and Performance Analysis of Semantic Integrity Validation Methods. SIGMOD Conference (1979)
Gerald J. Popek, Mark Kampe, Charles S. Kline, Allen Stoughton, Michael Urban, Evelyn Walton
UCLA Secure Unix. MARK (1979)
Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek
Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). SOSP (1979)
Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz
A Locking Protocol for Resource Coordination in Distributed Databases (Abstract). SIGMOD Conference (1978)
Gerald J. Popek, Charles S. Kline
Issues in kernel design. AFIPS National Computer Conference (1978)
Dushan Z. Badal, Gerald J. Popek
A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems. Berkeley Workshop (1978)
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)
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 Informatica 10 (1978)
Gerald J. Popek, Charles S. Kline
Design Issues for Secure Computer Networks. Advanced Course: Operating Systems (1978)
Gerald J. Popek, Charles S. Kline
Issues in Kernel Design. Advanced Course: Operating Systems (1978)
Gerald J. Popek, David A. Farber
A Model for Verification of Data Security in Operating Systems. Commun. ACM 21 (9) (1978)
Deborah Downs, Gerald J. Popek
A Kernel Design for a Secure Data Base Management System. IEEE Database Eng. Bull. 1 (4) (1977)
Deborah Downs, Gerald J. Popek
A Kernel Design for a Secure Data Base Management System. VLDB (1977)
Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek
Report on the programming language Euclid. ACM SIGPLAN Notices 12 (2) (1977)
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)
Gerald J. Popek, Charles S. Kline
The PDP-11 Virtual Machine Architecture: A Case Study. SOSP (1975)
Gerald J. Popek, Charles S. Kline
A verifiable protection system. Reliable Software (1975)
Mary E. Snuggs, Gerald J. Popek, Ronald J. Peterson
Data Base System Objectives as Design Constraints. Data Base 6 (3) (1975)
Gerald J. Popek
On data secure computer networks. ACM SIGOPS Oper. Syst. Rev. 9 (3) (1975)
Gerald J. Popek
Protection structures. Computer 7 (6) (1974)
Gerald J. Popek, Charles S. Kline
Verifiable secure operating system software. AFIPS National Computer Conference (1974)
Gerald J. Popek, Robert P. Goldberg
Formal Requirements for Virtualizable Third Generation Architectures. Commun. ACM 17 (7) (1974)
Mary E. Snuggs, Gerald J. Popek, Ronald J. Peterson
Data base system objectives as design constraints. ACM Annual Conference (2) (1974)
Richard L. Bisbey II, Gerald J. Popek
Encapsulation: an approach to operating system security. ACM Annual Conference (2) (1974)
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)
Gerald J. Popek, Robert P. Goldberg
Formal Requirements for Virtualizable Third Generation Architectures. SOSP (1973)
Gerald J. Popek
Correctness in access control. ACM Annual Conference (1973)