| 2006 |
|---|
| 72 | EE | 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 |
|---|
| 71 | EE | 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) |
| 70 | EE | David Ratner,
Peter L. Reiher,
Gerald J. Popek:
Roam: A Scalable Replication System for Mobility.
MONET 9(5): 537-544 (2004) |
| 2003 |
|---|
| 69 | | Kevin Eustice,
Leonard Kleinrock,
Shane Markstrum,
Gerald J. Popek,
Venkatraman Ramakrishna,
Peter L. Reiher:
Enabling Secure Ubiquitous Interactions.
Middleware Workshops 2003: 76-80 |
| 68 | EE | 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 |
|---|
| 67 | EE | Geoffrey H. Kuenning,
Wilkie Ma,
Peter L. Reiher,
Gerald J. Popek:
Simplifying automated hoarding methods.
MSWiM 2002: 15-21 |
| 66 | EE | 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 |
|---|
| 65 | EE | An-I Wang,
Peter L. Reiher,
Gerald J. Popek,
Geoffrey H. Kuenning:
The Conquest File System's Life after Disks.
HotOS 2001: 186 |
| 64 | EE | Todd Ekenstam,
Charles Matheny,
Peter L. Reiher,
Gerald J. Popek:
The Bengal Database Replication System.
Distributed and Parallel Databases 9(3): 187-210 (2001) |
| 63 | | David Ratner,
Peter L. Reiher,
Gerald J. Popek,
Geoffrey H. Kuenning:
Replication Requirements in Mobile Environments.
MONET 6(6): 525-533 (2001) |
| 2000 |
|---|
| 62 | | 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) |
| 1999 |
|---|
| 61 | EE | David Ratner,
Peter L. Reiher,
Gerald J. Popek:
Roam: A Scalable Replication System for Mobile Computing.
DEXA Workshop 1999: 96-104 |
| 60 | EE | David Ratner,
Peter L. Reiher,
Gerald J. Popek,
Richard G. Guy:
Peer Replication with Selective Control.
MDA 1999: 169-181 |
| 59 | EE | Alexey Rudenko,
Peter L. Reiher,
Gerald J. Popek,
Geoffrey H. Kuenning:
The Remote Processing Framework for Portable Computer Power Saving.
SAC 1999: 365-372 |
| 58 | EE | 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 |
| 57 | EE | Mark Yarvis,
Peter L. Reiher,
Gerald J. Popek:
Conductor: A Framework for Distributed Adaptation.
Workshop on Hot Topics in Operating Systems 1999: 44- |
| 1998 |
|---|
| 56 | EE | 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 |
| 55 | EE | 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 |
| 54 | | Ashvin Goel,
Calton Pu,
Gerald J. Popek:
View Consistency for Optimistic Replication.
SRDS 1998: 36-42 |
| 53 | EE | Erik T. Mueller,
Johanna D. Moore,
Gerald J. Popek:
A nested transaction mechanism for LOCUS
CoRR cs.OS/9812011: (1998) |
| 52 | | 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) |
| 1997 |
|---|
| 51 | EE | Ted H. Kim,
Gerald J. Popek:
Frigate: An Object-Oriented File System for Ordinary Users.
COOTS 1997: 115-130 |
| 50 | | Geoffrey H. Kuenning,
Gerald J. Popek:
Automated Hoarding for Mobile Computers.
SOSP 1997: 264-275 |
| 49 | | Geoffrey H. Kuenning,
Peter L. Reiher,
Gerald J. Popek:
Experience with an Automated Hoarding System.
Personal and Ubiquitous Computing 1(3): (1997) |
| 1995 |
|---|
| 48 | | John S. Heidemann,
Gerald J. Popek:
Performance of Cache Coherence in Stackable Filing.
SOSP 1995: 127-142 |
| 1994 |
|---|
| 47 | | 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 |
| 46 | | 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 |
| 45 | EE | John S. Heidemann,
Gerald J. Popek:
File-System Development with Stackable Layers.
ACM Trans. Comput. Syst. 12(1): 58-89 (1994) |
| 1992 |
|---|
| 44 | | Yuguang Wu,
Gerald J. Popek,
Richard R. Muntz:
Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors.
SPDP 1992: 507-514 |
| 43 | | 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 |
| 42 | | 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) |
| 1991 |
|---|
| 41 | | 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 |
|---|
| 40 | | 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 |
| 39 | | 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 |
| 1989 |
|---|
| 38 | | Brett D. Fleisch,
Gerald J. Popek:
Mirage: A Coherent Distributed Shared Memory Design.
SOSP 1989: 211-223 |
| 1988 |
|---|
| 37 | EE | Gerald J. Popek:
Autonomy and interdependence: an intermediate position.
ACM SIGOPS European Workshop 1988 |
| 1987 |
|---|
| 36 | | Peter L. Reiher,
Gerald J. Popek:
Locus Naming in a Large Scale Environment.
Kommunikation in Verteilten Systemen 1987: 167-177 |
| 1986 |
|---|
| 35 | | Alan B. Sheltzer,
Robert Lindell,
Gerald J. Popek:
Name Service Locality and Cache Design in a Distributed Operating System.
ICDCS 1986: 515-522 |
| 34 | | Alan B. Sheltzer,
Gerald J. Popek:
Internet Locus: Extending Transparency to an Internet Environment.
IEEE Trans. Software Eng. 12(11): 1067-1075 (1986) |
| 1985 |
|---|
| 33 | EE | Thomas W. Page Jr.,
Gerald J. Popek:
Distributed Management in Local Area Networks.
PODS 1985: 135-142 |
| 32 | EE | Thomas W. Page Jr.,
Matthew J. Weinstein,
Gerald J. Popek:
Genesis: A Distributed Database Operating System.
SIGMOD Conference 1985: 374-387 |
| 31 | | 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 |
|---|
| 30 | | Joseph Betser,
Mario Gerla,
Gerald J. Popek:
A Dual Priority MVA Model for a Large Distributed System: LOCUS.
Performance 1984: 51-66 |
| 1983 |
|---|
| 29 | | Arthur P. Goldberg,
Gerald J. Popek,
Stephen S. Lavenberg:
A Validated Distributed System Performance Model.
Performance 1983: 251-268 |
| 28 | | Bruce J. Walker,
Gerald J. Popek,
Robert English,
Charles S. Kline,
Greg Thiel:
The LOCUS Distributed Operating System.
SOSP 1983: 49-70 |
| 27 | | Erik T. Mueller,
Johanna D. Moore,
Gerald J. Popek:
A Nested Transaction Mechanism for LOCUS.
SOSP 1983: 71-89 |
| 26 | EE | Gerald J. Popek,
Greg Thiel:
Distributed Data Management Issues in the LOCUS System.
IEEE Database Eng. Bull. 6(2): 63-67 (1983) |
| 25 | | 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) |
| 1981 |
|---|
| 24 | | Gerald J. Popek:
Notes on distributed systems of microprocessors.
Advanced Course: Microcomputer System Design 1981: 303-348 |
| 23 | | 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 |
| 22 | | 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 |
|---|
| 21 | EE | 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) |
| 20 | | 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) |
| 1979 |
|---|
| 19 | EE | Dushan Z. Badal,
Gerald J. Popek:
Cost and Performance Analysis of Semantic Integrity Validation Methods.
SIGMOD Conference 1979: 109-115 |
| 18 | | Bruce J. Walker,
Richard A. Kemmerer,
Gerald J. Popek:
Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract).
SOSP 1979: 64-65 |
| 17 | EE | Deborah Downs,
Gerald J. Popek:
Data Base Management Systems Security and INGRES.
VLDB 1979: 280-290 |
| 16 | | Gerald J. Popek,
Charles S. Kline:
Encryption and Secure Computer Networks.
ACM Comput. Surv. 11(4): 331-356 (1979) |
| 1978 |
|---|
| 15 | | Michael J. Flynn,
Jim Gray,
Anita K. Jones,
Klaus Lagally,
Holger Opderbeck,
Gerald J. Popek,
Brian Randell,
Jerome H. Saltzer,
Hans-Rüdiger Wiehle:
Operating Systems, An Advanced Course
Springer 1978 |
| 14 | | Gerald J. Popek,
Charles S. Kline:
Issues in Kernel Design.
Advanced Course: Operating Systems 1978: 209-227 |
| 13 | | Gerald J. Popek,
Charles S. Kline:
Design Issues for Secure Computer Networks.
Advanced Course: Operating Systems 1978: 517-546 |
| 12 | | Dushan Z. Badal,
Gerald J. Popek:
A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems.
Berkeley Workshop 1978: 273-285 |
| 11 | | 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 |
| 10 | EE | Daniel A. Menascé,
Gerald J. Popek,
Richard R. Muntz:
A Locking Protocol for Resource Coordination in Distributed Databases (Abstract).
SIGMOD Conference 1978: 2 |
| 9 | | 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) |
| 8 | | Gerald J. Popek,
David A. Farber:
A Model for Verification of Data Security in Operating Systems.
Commun. ACM 21(9): 737-749 (1978) |
| 1977 |
|---|
| 7 | | 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 |
| 6 | EE | Deborah Downs,
Gerald J. Popek:
A Kernel Design for a Secure Data Base Management System.
VLDB 1977: 507-514 |
| 5 | EE | Deborah Downs,
Gerald J. Popek:
A Kernel Design for a Secure Data Base Management System.
IEEE Database Eng. Bull. 1(4): 8-14 (1977) |
| 1975 |
|---|
| 4 | | Gerald J. Popek,
Charles S. Kline:
The PDP-11 Virtual Machine Architecture: A Case Study.
SOSP 1975: 97-105 |
| 3 | EE | Mary E. Snuggs,
Gerald J. Popek,
Ronald J. Peterson:
Data Base System Objectives as Design Constraints.
DATA BASE 6(3): 11-20 (1975) |
| 1974 |
|---|
| 2 | | Gerald J. Popek,
Robert P. Goldberg:
Formal Requirements for Virtualizable Third Generation Architectures.
Commun. ACM 17(7): 412-421 (1974) |
| 1973 |
|---|
| 1 | | Gerald J. Popek,
Robert P. Goldberg:
Formal Requirements for Virtualizable Third Generation Architectures.
SOSP 1973: 121 |
