default search action
Gerald J. Popek
Person information
- affiliation: UCLA, Los Angeles, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2002
- [b1]Jun Li, Peter L. Reiher, Gerald J. Popek:
Disseminating Security Updates at Internet Scale. Advances in Information Security 8, Springer 2002, pp. 1-144
Journal Articles
- 2006
- [j26]An-I Andy Wang
, Geoffrey H. Kuenning
The Conquest file system: Better performance through a disk/persistent-RAM hybrid design. ACM Trans. Storage 2(3): 309-348 (2006) - 2004
- [j25]Jun Li, Peter L. Reiher, Gerald J. Popek:
Resilient self-organizing overlay networks for security update delivery. IEEE J. Sel. Areas Commun. 22(1): 189-202 (2004) - [j24]David Ratner, Peter L. Reiher, Gerald J. Popek:
Roam: A Scalable Replication System for Mobility. Mob. Networks Appl. 9(5): 537-544 (2004) - 2001
- [j23]Todd Ekenstam, Charles Matheny, Peter L. Reiher, Gerald J. Popek:
The Bengal Database Replication System. Distributed Parallel Databases 9(3): 187-210 (2001) - [j22]David Ratner, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning:
Replication Requirements in Mobile Environments. Mob. Networks Appl. 6(6): 525-533 (2001) - 2000
- [j21]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): 221-231 (2000) - 1998
- [j20]Ted H. Kim, Gerald J. Popek:
Frigate: a user-extensible OO file system. IEEE Concurr. 6(4): 26-35 (1998) - [j19]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): 19-26 (1998) - [j18]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): 155-180 (1998) - 1997
- [j17]Geoffrey H. Kuenning
Experience with an Automated Hoarding System. Pers. Ubiquitous Comput. 1(3): 145-155 (1997) - 1995
- [j16]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): 14-27 (1995) - 1994
- [j15]John S. Heidemann, Gerald J. Popek:
File-System Development with Stackable Layers. ACM Trans. Comput. Syst. 12(1): 58-89 (1994) - 1992
- [j14]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): 26 (1992) - 1986
- [j13]Alan B. Sheltzer, Gerald J. Popek:
Internet Locus: Extending Transparency to an Internet Environment. IEEE Trans. Software Eng. 12(11): 1067-1075 (1986) - 1983
- [j12]Gerald J. Popek, Greg Thiel:
Distributed Data Management Issues in the LOCUS System. IEEE Database Eng. Bull. 6(2): 63-67 (1983) - [j11]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) - 1980
- [j10]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) - [j9]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) - 1979
- [j8]Gerald J. Popek, Charles S. Kline:
Encryption and Secure Computer Networks. ACM Comput. Surv. 11(4): 331-356 (1979) - 1978
- [j7]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: 1-26 (1978) - [j6]Gerald J. Popek, David A. Farber:
A Model for Verification of Data Security in Operating Systems. Commun. ACM 21(9): 737-749 (1978) - 1977
- [j5]Deborah Downs, Gerald J. Popek:
A Kernel Design for a Secure Data Base Management System. IEEE Database Eng. Bull. 1(4): 8-14 (1977) - [j4]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): 1-79 (1977) - 1975
- [j3]Mary E. Snuggs, Gerald J. Popek, Ronald J. Peterson:
Data Base System Objectives as Design Constraints. Data Base 6(3): 11-20 (1975) - 1974
- [j2]Gerald J. Popek, Robert P. Goldberg:
Formal Requirements for Virtualizable Third Generation Architectures. Commun. ACM 17(7): 412-421 (1974) - [j1]Gerald J. Popek:
Protection structures. Computer 7(6): 22-33 (1974)
Conference and Workshop Papers
- 2003
- [c61]Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher:
Enabling Secure Ubiquitous Interactions. Middleware Workshops 2003: 76-80 - [c60]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
- [c59]Geoffrey H. Kuenning, Wilkie Ma, Peter L. Reiher, Gerald J. Popek:
Simplifying automated hoarding methods. MSWiM 2002: 15-21 - [c58]An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning:
Conquest: Better Performance Through a Disk/Persistent-RAM Hybrid File System. USENIX ATC, General Track 2002: 15-28 - 2001
- [c57]An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning:
The Conquest File System's Life after Disks. HotOS 2001: 186 - 1999
- [c56]David Ratner, Peter L. Reiher, Gerald J. Popek:
Roam: A Scalable Replication System for Mobile Computing. DEXA Workshop 1999: 96-104 - [c55]Mark Yarvis, Peter L. Reiher, Gerald J. Popek:
Conductor: A Framework for Distributed Adaptation. Workshop on Hot Topics in Operating Systems 1999: 44-51 - [c54]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 - [c53]David Ratner, Peter L. Reiher, Gerald J. Popek, Richard G. Guy:
Peer Replication with Selective Control. MDA 1999: 169-181 - [c52]Jun Li, Peter L. Reiher, Gerald J. Popek:
Securing information transmission by redundancy. NSPW 1999: 112-117 - [c51]Alexey Rudenko, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning:
The Remote Processing Framework for Portable Computer Power Saving. SAC 1999: 365-372 - 1998
- [c50]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: 319-320 - [c49]Richard G. Guy, Peter L. Reiher, David Ratner, Michial A. Gunter, Wilkie Ma, Gerald J. Popek:
Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication. ER Workshops 1998: 254-265 - [c48]Ashvin Goel, Calton Pu, Gerald J. Popek:
View Consistency for Optimistic Replication. SRDS 1998: 36-42 - 1997
- [c47]Ted H. Kim, Gerald J. Popek:
Frigate: An Object-Oriented File System for Ordinary Users. COOTS 1997: 115-130 - [c46]Geoffrey H. Kuenning, Gerald J. Popek:
Automated Hoarding for Mobile Computers. SOSP 1997: 264-275 - 1995
- [c45]John S. Heidemann, Gerald J. Popek:
Performance of Cache Coherence in Stackable Filing. SOSP 1995: 127-142 - 1994
- [c44]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 - [c43]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 - 1993
- [c42]Richard G. Guy, Gerald J. Popek, Thomas W. Page Jr.:
Consistency algorithms for optimistic replication. ICNP 1993: 250-261 - 1992
- [c41]Yuguang Wu, Gerald J. Popek, Richard R. Muntz:
Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors. SPDP 1992: 507-514 - [c40]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 - 1991
- [c39]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
- [c38]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 - [c37]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
- [c36]Brett D. Fleisch, Gerald J. Popek:
Mirage: A Coherent Distributed Shared Memory Design. SOSP 1989: 211-223 - 1988
- [c35]Gerald J. Popek:
Autonomy and interdependence: an intermediate position. ACM SIGOPS European Workshop 1988 - 1987
- [c34]Peter L. Reiher, Gerald J. Popek:
Locus Naming in a Large Scale Environment. Kommunikation in Verteilten Systemen 1987: 167-177 - 1986
- [c33]Alan B. Sheltzer, Robert Lindell, Gerald J. Popek:
Name Service Locality and Cache Design in a Distributed Operating System. ICDCS 1986: 515-522 - 1985
- [c32]Thomas W. Page Jr., Gerald J. Popek:
Distributed Management in Local Area Networks. PODS 1985: 135-142 - [c31]Thomas W. Page Jr., Matthew J. Weinstein, Gerald J. Popek:
Genesis: A Distributed Database Operating System. SIGMOD Conference 1985: 374-387 - [c30]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
- [c29]Joseph Betser, Mario Gerla, Gerald J. Popek:
A Dual Priority MVA Model for a Large Distributed System: LOCUS. Performance 1984: 51-66 - 1983
- [c28]Arthur P. Goldberg, Gerald J. Popek, Stephen S. Lavenberg:
A Validated Distributed System Performance Model. Performance 1983: 251-268 - [c27]Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel:
The LOCUS Distributed Operating System. SOSP 1983: 49-70 - [c26]Erik T. Mueller
A Nested Transaction Mechanism for LOCUS. SOSP 1983: 71-89 - 1981
- [c25]Gerald J. Popek:
Notes on distributed systems of microprocessors. Advanced Course: Microcomputer System Design 1981: 303-348 - [c24]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 - [c23]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: 169-177 - 1979
- [c22]Gerald J. Popek, Mark Kampe, Charles S. Kline, Allen Stoughton, Michael Urban, Evelyn Walton:
UCLA Secure Unix. MARK 1979: 355-364 - [c21]Charles S. Kline, Gerald J. Popek:
Public key vs. conventional key encryption. MARK 1979: 831-838 - [c20]Dushan Z. Badal, Gerald J. Popek:
Cost and Performance Analysis of Semantic Integrity Validation Methods. SIGMOD Conference 1979: 109-115 - [c19]Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek:
Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). SOSP 1979: 64-65 - [c18]Deborah Downs, Gerald J. Popek:
Data Base Management Systems Security and INGRES. VLDB 1979: 280-290 - 1978
- [c17]Gerald J. Popek, Charles S. Kline:
Issues in Kernel Design. Advanced Course: Operating Systems 1978: 209-227 - [c16]Gerald J. Popek, Charles S. Kline:
Design Issues for Secure Computer Networks. Advanced Course: Operating Systems 1978: 517-546 - [c15]Gerald J. Popek, Charles S. Kline:
Issues in kernel design. AFIPS National Computer Conference 1978: 1079-1086 - [c14]Dushan Z. Badal, Gerald J. Popek:
A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems. Berkeley Workshop 1978: 273-285 - [c13]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 - [c12]Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz:
A Locking Protocol for Resource Coordination in Distributed Databases (Abstract). SIGMOD Conference 1978: 2 - 1977
- [c11]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 - [c10]Deborah Downs, Gerald J. Popek:
A Kernel Design for a Secure Data Base Management System. VLDB 1977: 507-514 - 1975
- [c9]Gerald J. Popek, Charles S. Kline:
A verifiable protection system. Reliable Software 1975: 294-304 - [c8]Gerald J. Popek, Charles S. Kline:
The PDP-11 Virtual Machine Architecture: A Case Study. SOSP 1975: 97-105 - [c7]Gerald J. Popek:
On data secure computer networks. SIGCOMM/SIGOPS Workshop on Interprocess Communications 1975: 59-62 - 1974
- [c6]Mary E. Snuggs, Gerald J. Popek, Ronald J. Peterson:
Data base system objectives as design constraints. ACM Annual Conference (2) 1974: 641-647 - [c5]Richard L. Bisbey II, Gerald J. Popek:
Encapsulation: an approach to operating system security. ACM Annual Conference (2) 1974: 666-675 - [c4]Gerald J. Popek, Charles S. Kline:
Verifiable secure operating system software. AFIPS National Computer Conference 1974: 145-151 - [c3]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 - 1973
- [c2]Gerald J. Popek:
Correctness in access control. ACM Annual Conference 1973: 236-241 - [c1]Gerald J. Popek, Robert P. Goldberg:
Formal Requirements for Virtualizable Third Generation Architectures. SOSP 1973: 121
Editorship
- 1978
- [e1]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. Lecture Notes in Computer Science 60, Springer 1978, ISBN 3-540-08755-9 [contents]
Informal and Other Publications
- 1998
- [i1]Erik T. Mueller, Johanna D. Moore, Gerald J. Popek:
A nested transaction mechanism for LOCUS. CoRR cs.OS/9812011 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: