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