| 2006 |
|---|
| 73 | The Conquest file system: Better performance through a disk/persistent-RAM hybrid design. An-I Andy Wang, Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek. TOS (2): 309-348 (2006). Web SearchBibTeXDownload |
| 2004 |
|---|
| 72 | Resilient self-organizing overlay networks for security update delivery. Jun Li, Peter L. Reiher, Gerald J. Popek. IEEE Journal on Selected Areas in Communications (22): 189-202 (2004). Web SearchBibTeXDownload |
| 71 | Roam: A Scalable Replication System for Mobility. David Ratner, Peter L. Reiher, Gerald J. Popek. MONET (9): 537-544 (2004). Web SearchBibTeXDownload |
| 2003 |
|---|
| 70 | Enabling Secure Ubiquitous Interactions. Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher. Middleware Workshops 2003, 76-80. Web SearchBibTeX |
| 69 | Securing nomads: the case for quarantine, examination, and decontamination. Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher. NSPW 2003, 123-128. Web SearchBibTeXDownload |
| 2002 |
|---|
| 68 | Simplifying automated hoarding methods. Geoffrey H. Kuenning, Wilkie Ma, Peter L. Reiher, Gerald J. Popek. MSWiM 2002, 15-21. Web SearchBibTeXDownload |
| 67 | Conquest: Better Performance Through a Disk/Persistent-RAM Hybrid File System. An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning. USENIX Annual Technical Conference, General Track 2002, 15-28. Web SearchBibTeXDownload |
| 2001 |
|---|
| 66 | The Bengal Database Replication System. Todd Ekenstam, Charles Matheny, Peter L. Reiher, Gerald J. Popek. Distributed and Parallel Databases (9): 187-210 (2001). Web SearchBibTeXDownload |
| 65 | The Conquest File System's Life after Disks. An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning. HotOS 2001, 186. Web SearchBibTeXDownload |
| 64 | Replication Requirements in Mobile Environments. David Ratner, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning. MONET (6): 525-533 (2001). Web SearchBibTeXDownload |
| 2000 |
|---|
| 63 | A conceptual framework for network and client adaptation. B. R. Badrinath, Armando Fox, Leonard Kleinrock, Gerald J. Popek, Peter L. Reiher, Mahadev Satyanarayanan. MONET (5): 221-231 (2000). Web SearchBibTeXDownload |
| 1999 |
|---|
| 62 | Roam: A Scalable Replication System for Mobile Computing. David Ratner, Peter L. Reiher, Gerald J. Popek. DEXA Workshop 1999, 96-104. Web SearchBibTeXDownload |
| 61 | Peer Replication with Selective Control. David Ratner, Peter L. Reiher, Gerald J. Popek, Richard G. Guy. MDA 1999, 169-181. Web SearchBibTeXDownload |
| 60 | The Remote Processing Framework for Portable Computer Power Saving. Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning. SAC 1999, 365-372. Web SearchBibTeXDownload |
| 59 | Conductor: A Framework for Distributed Adaptation. Mark Yarvis, Peter L. Reiher, Gerald J. Popek. Workshop on Hot Topics in Operating Systems 1999, 44. Web SearchBibTeXDownload |
| 58 | Command Management System for Next-Generation User Input. Mitchell Tsai, Peter L. Reiher, Gerald J. Popek. Workshop on Hot Topics in Operating Systems 1999, 179-184. Web SearchBibTeXDownload |
| 1998 |
|---|
| 57 | A nested transaction mechanism for LOCUS. Erik T. Mueller, Johanna D. Moore, Gerald J. Popek. CoRR (cs.OS/9812011) (1998). Web SearchBibTeXDownload |
| 56 | Measuring the Quality of Service of Optimistic Replication. Geoffrey H. Kuenning, Rajive Bagrodia, Richard G. Guy, Gerald J. Popek, Peter L. Reiher, An-I Wang. ECOOP Workshops 1998, 319-320. Web SearchBibTeXDownload |
| 55 | Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication. Richard G. Guy, Peter L. Reiher, David Ratner, Michial Gunter, Wilkie Ma, Gerald J. Popek. ER Workshops 1998, 254-265. Web SearchBibTeX |
| 54 | Frigate: a user-extensible OO file system. Ted H. Kim, Gerald J. Popek. IEEE Concurrency (6): 26-35 (1998). Web SearchBibTeXDownload |
| 53 | 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. Exper. (28): 155-180 (1998). Web SearchBibTeX |
| 52 | View Consistency for Optimistic Replication. Ashvin Goel, Calton Pu, Gerald J. Popek. SRDS 1998, 36-42. Cited by 21Web SearchBibTeX |
| 1997 |
|---|
| 51 | Frigate: An Object-Oriented File System for Ordinary Users. Ted H. Kim, Gerald J. Popek. COOTS 1997, 115-130. Web SearchBibTeXDownload |
| 50 | Experience with an Automated Hoarding System. Geoffrey H. Kuenning, Peter L. Reiher, Gerald J. Popek. Personal and Ubiquitous Computing (1): 145-155 (1997). Web SearchBibTeXDownload |
| 49 | Automated Hoarding for Mobile Computers. Geoffrey H. Kuenning, Gerald J. Popek. SOSP 1997, 264-275. Web SearchBibTeXDownload |
| 1995 |
|---|
| 48 | Performance of Cache Coherence in Stackable Filing. John S. Heidemann, Gerald J. Popek. SOSP 1995, 127-142. Web SearchBibTeXDownload |
| 1994 |
|---|
| 47 | File-System Development with Stackable Layers. John S. Heidemann, Gerald J. Popek. ACM Trans. Comput. Syst. (12): 58-89 (1994). Web SearchBibTeXDownload |
| 46 | Resolving File Conflicts in the Ficus File System. Peter L. Reiher, John S. Heidemann, David Ratner, Gregory Skinner, Gerald J. Popek. USENIX Summer 1994, 183-195. Web SearchBibTeX |
| 45 | An Analysis of Trace Data for Predictive File Caching in Mobile Computing. Geoffrey H. Kuenning, Gerald J. Popek, Peter L. Reiher. USENIX Summer 1994, 291-303. Web SearchBibTeX |
| 1992 |
|---|
| 44 | The Ficus Replicated File System (Abstract). Richard G. Guy, John S. Heidemann, Thomas W. Page Jr., Gerald J. Popek. Operating Systems Review (26): 26 (1992). Web SearchBibTeXDownload |
| 43 | Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors. Yuguang Wu, Gerald J. Popek, Richard R. Muntz. SPDP 1992, 507-514. Web SearchBibTeX |
| 42 | Primarily Disconnected Operation: Experiences with Ficus. John S. Heidemann, Thomas W. Page Jr., Richard G. Guy, Gerald J. Popek. Workshop on the Management of Replicated Data 1992, 2-5. Web SearchBibTeX |
| 1991 |
|---|
| 41 | 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. USENIX Summer 1991, 17-30. Web SearchBibTeX |
| 1990 |
|---|
| 40 | 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. USENIX Summer 1990, 63-72. Web SearchBibTeX |
| 39 | Replication in Ficus Distributed File Systems. Gerald J. Popek, Richard G. Guy, Thomas W. Page Jr., John S. Heidemann. Workshop on the Management of Replicated Data 1990, 5-10. Web SearchBibTeX |
| 1989 |
|---|
| 38 | Mirage: A Coherent Distributed Shared Memory Design. Brett D. Fleisch, Gerald J. Popek. SOSP 1989, 211-223. Web SearchBibTeXDownload |
| 1988 |
|---|
| 37 | Autonomy and interdependence: an intermediate position. Gerald J. Popek. ACM SIGOPS European Workshop 1988. Web SearchBibTeXDownload |
| 1987 |
|---|
| 36 | Locus Naming in a Large Scale Environment. Peter L. Reiher, Gerald J. Popek. Kommunikation in Verteilten Systemen 1987, 167-177. Web SearchBibTeX |
| 1986 |
|---|
| 35 | Name Service Locality and Cache Design in a Distributed Operating System. Alan B. Sheltzer, Robert Lindell, Gerald J. Popek. ICDCS 1986, 515-522. Web SearchBibTeX |
| 34 | Internet Locus: Extending Transparency to an Internet Environment. Alan B. Sheltzer, Gerald J. Popek. IEEE Trans. Software Eng. (12): 1067-1075 (1986). Web SearchBibTeX |
| 1985 |
|---|
| 33 | Distributed Management in Local Area Networks. Thomas W. Page Jr., Gerald J. Popek. PODS 1985, 135-142. Web SearchBibTeX |
| 32 | Genesis: A Distributed Database Operating System. Thomas W. Page Jr., Matthew J. Weinstein, Gerald J. Popek. SIGMOD Conference 1985, 374-387. Web SearchBibTeX |
| 31 | Transactions and Synchronization in a Distributed Operating System. Matthew J. Weinstein, Thomas W. Page Jr., Brian Livezey, Gerald J. Popek. SOSP 1985, 115-126. Web SearchBibTeXDownload |
| 1984 |
|---|
| 30 | A Dual Priority MVA Model for a Large Distributed System: LOCUS. Joseph Betser, Mario Gerla, Gerald J. Popek. Performance 1984, 51-66. Web SearchBibTeX |
| 1983 |
|---|
| 29 | Distributed Data Management Issues in the LOCUS System. Gerald J. Popek, Greg Thiel. IEEE Database Eng. Bull. (6): 63-67 (1983). Web SearchBibTeXDownload |
| 28 | 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. (9): 240-247 (1983). Web SearchBibTeXDownload |
| 27 | A Validated Distributed System Performance Model. Arthur P. Goldberg, Gerald J. Popek, Stephen S. Lavenberg. Performance 1983, 251-268. Web SearchBibTeX |
| 26 | The LOCUS Distributed Operating System. Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel. SOSP 1983, 49-70. Web SearchBibTeXDownload |
| 25 | A Nested Transaction Mechanism for LOCUS. Erik T. Mueller, Johanna D. Moore, Gerald J. Popek. SOSP 1983, 71-89. Web SearchBibTeXDownload |
| 1981 |
|---|
| 24 | Notes on distributed systems of microprocessors. Gerald J. Popek. Advanced Course: Microcomputer System Design 1981, 303-348. Web SearchBibTeXDownload |
| 23 | 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. Berkeley Workshop 1981, 172-184. Web SearchBibTeX |
| 22 | LOCUS - A Network Transparent, High Reliability Distributed System. Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Gerard Rudisin, Greg Thiel. SOSP 1981, 169-177. Web SearchBibTeXDownload |
| 1980 |
|---|
| 21 | A Locking Protocol for Resource Coordination in Distributed Databases. Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz. ACM Trans. Database Syst. (5): 103-138 (1980). Web SearchBibTeXDownload |
| 20 | Specification and Verification of the UCLA Unix Security Kernel. Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek. Commun. ACM (23): 118-131 (1980). Web SearchBibTeXDownload |
| 1979 |
|---|
| 19 | Encryption and Secure Computer Networks. Gerald J. Popek, Charles S. Kline. ACM Comput. Surv. (11): 331-356 (1979). Web SearchBibTeXDownload |
| 18 | Cost and Performance Analysis of Semantic Integrity Validation Methods. Dushan Z. Badal, Gerald J. Popek. SIGMOD Conference 1979, 109-115. Web SearchBibTeX |
| 17 | Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek. SOSP 1979, 64-65. Web SearchBibTeXDownload |
| 16 | Data Base Management Systems Security and INGRES. Deborah Downs, Gerald J. Popek. VLDB 1979, 280-290. Web SearchBibTeX |
| 1978 |
|---|
| 15 | Issues in Kernel Design. Gerald J. Popek, Charles S. Kline. Advanced Course: Operating Systems 1978, 209-227. Web SearchBibTeXDownload |
| 14 | Design Issues for Secure Computer Networks. Gerald J. Popek, Charles S. Kline. Advanced Course: Operating Systems 1978, 517-546. Web SearchBibTeXDownload |
| 13 | A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems. Dushan Z. Badal, Gerald J. Popek. Berkeley Workshop 1978, 273-285. Web SearchBibTeX |
| 12 | A Model for Verification of Data Security in Operating Systems. Gerald J. Popek, David A. Farber. Commun. ACM (21): 737-749 (1978). Web SearchBibTeXDownload |
| 11 | 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. Program Construction (10): 1-26 (1978). Web SearchBibTeXDownload |
| 10 | A Locking Protocol for Resource Coordination in Distributed Databases (Abstract). Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz. SIGMOD Conference 1978, 2. Web SearchBibTeX |
| 1977 |
|---|
| 9 | Notes on the Design of Euclid. Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London. Language Design for Reliable Software 1977, 11-18. Web SearchBibTeX |
| 8 | A Kernel Design for a Secure Data Base Management System. Deborah Downs, Gerald J. Popek. VLDB 1977, 507-514. Web SearchBibTeX |
| 1975 |
|---|
| 7 | Data Base System Objectives as Design Constraints. Mary E. Snuggs, Gerald J. Popek, Ronald J. Peterson. DATA BASE (6): 11-20 (1975). Web SearchBibTeXDownload |
| 6 | On data secure computer networks. Gerald J. Popek. Operating Systems Review (9): 59-62 (1975). Web SearchBibTeXDownload |
| 5 | The PDP-11 Virtual Machine Architecture: A Case Study. Gerald J. Popek, Charles S. Kline. SOSP 1975, 97-105. Web SearchBibTeX |
| 1974 |
|---|
| 4 | Security kernels. Steven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden. AFIPS National Computer Conference 1974, 973-980. Web SearchBibTeXDownload |
| 3 | Verifiable secure operating system software. Gerald J. Popek, Charles S. Kline. AFIPS National Computer Conference 1974, 145-151. Web SearchBibTeXDownload |
| 2 | Formal Requirements for Virtualizable Third Generation Architectures. Gerald J. Popek, Robert P. Goldberg. Commun. ACM (17): 412-421 (1974). Web SearchBibTeXDownload |
| 1973 |
|---|
| 1 | Formal Requirements for Virtualizable Third Generation Architectures. Gerald J. Popek, Robert P. Goldberg. SOSP 1973, 121. Web SearchBibTeX |
