Gerald J. Popek

90 papers A* 13A 3B 2C 2Misc 3Journal 27Unranked 38

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