Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
 SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
 DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
 KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
 SIGIR 2001
 SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Gerald J. Popek

Papers on DiSC'02


The Bengal Database Replication System

Publications


Note: Links lead to the DBLP on the Web.

Gerald J. Popek

60 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

59 Todd Ekenstam , Charles Matheny , Peter L. Reiher , Gerald J. Popek: The Bengal Database Replication System. Distributed and Parallel Databases 9 (3): 187-210 (2001)

58 David Ratner , Peter L. Reiher , Gerald J. Popek, Geoffrey H. Kuenning : Replication Requirements in Mobile Environments. MONET 6 (6): 525-533 (2001)

57 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)

56 David Ratner , Peter L. Reiher , Gerald J. Popek: Roam: A Scalable Replication System for Mobile Computing. DEXA Workshop 1999 : 96-104

55 David Ratner , Peter L. Reiher , Gerald J. Popek, Richard G. Guy : Peer Replication with Selective Control. MDA 1999 : 169-181

54 Alexey Rudenko , Peter L. Reiher , Gerald J. Popek, Geoffrey H. Kuenning : The Remote Processing Framework for Portable Computer Power Saving. SAC 1999 : 365-372

53 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

52 Mark Yarvis , Peter L. Reiher , Gerald J. Popek: Conductor: A Framework for Distributed Adaptation. Workshop on Hot Topics in Operating Systems 1999 : 44-

51 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

50 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

49 Ashvin Goel , Calton Pu , Gerald J. Popek: View Consistency for Optimistic Replication. Symposium on Reliable Distributed Systems 1998 : 36-42

48 Thomas W. Page Jr. , Richard G. Guy , John S. Heidemann , David Ratner , Peter L. Reiher , A. Goel , Geoffrey H. Kuenning , Gerald J. Popek: Perspectives on Optimistically Replicated, Peer-to-Peer Filing. Software - Practice and Experience 28 (2): 155-180 (1998)

47 Geoffrey H. Kuenning , Gerald J. Popek: Automated Hoarding for Mobile Computers. SOSP 1997 : 264-275

46 John S. Heidemann , Gerald J. Popek: Performance of Cache Coherence in Stackable Filing. SOSP 1995 : 127-142

45 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

44 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

43 John S. Heidemann , Gerald J. Popek: File-System Development with Stackable Layers. TOCS 12 (1): 58-89 (1994)

42 Yuguang Wu , Gerald J. Popek, Richard R. Muntz : Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors. SPDP 1992 : 507-514

41 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

40 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)

39 Thomas W. Page , 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

38 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

37 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

36 Brett D. Fleisch , Gerald J. Popek: Mirage: A Coherent Distributed Shared Memory Design. SOSP 1989 : 211-223

35 Peter L. Reiher , Gerald J. Popek: Locus Naming in a Large Scale Environment. Kommunikation in Verteilten Systemen 1987 : 167-177

34 Alan B. Sheltzer , Robert Lindell , Gerald J. Popek: Name Service Locality and Cache Design in a Distributed Operating System. ICDCS 1986 : 515-522

33 Alan B. Sheltzer , Gerald J. Popek: Internet Locus: Extending Transparency to an Internet Environment. TSE 12 (11): 1067-1075 (1986)

32 Thomas W. Page Jr. , Gerald J. Popek: Distributed Management in Local Area Networks. PODS 1985 : 135-142

31 Thomas W. Page Jr. , Matthew J. Weinstein , Gerald J. Popek: Genesis: A Distributed Database Operating System. SIGMOD Conference 1985 : 374-387

30 Matthew J. Weinstein , Thomas W. Page Jr. , Brian Livezey , Gerald J. Popek: Transactions and Synchronization in a Distributed Operating System. SOSP 1985 : 115-126

29 Joseph Betser , Mario Gerla , Gerald J. Popek: A Dual Priority MVA Model for a Large Distributed System: LOCUS. Performance 1984 : 51-66

28 Arthur P. Goldberg , Gerald J. Popek, Stephen S. Lavenberg : A Validated Distributed System Performance Model. Performance 1983 : 251-268

27 Bruce J. Walker , Gerald J. Popek, Robert English , Charles S. Kline , Greg Thiel : The LOCUS Distributed Operating System. SOSP 1983 : 49-70

26 Erik T. Mueller , Johanna D. Moore , Gerald J. Popek: A Nested Transaction Mechanism for LOCUS. SOSP 1983 : 71-89

25 Gerald J. Popek, Greg Thiel : Distributed Data Management Issues in the LOCUS System. Database Engineering Bulletin 6 (2): 63-67 (1983)

24 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. TSE 9 (3): 240-247 (1983)

23 Gerald J. Popek: Notes on distributed systems of microprocessors. Advanced Course: Microcomputer System Design 1981 : 303-348

22 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

21 Gerald J. Popek, Bruce J. Walker , Johanna M. Chow , David A. Ewards , Gerard Rudisin , Greg Thiel : LOCUS - A Network Transparent, High Reliability Distributed System. SOSP 1981 : 169-177

20 Bruce J. Walker , Richard A. Kemmerer , Gerald J. Popek: Specification and Verification of the UCLA Unix Security Kernel. CACM 23 (2): 118-131 (1980)

19 Daniel A. Menascé , Gerald J. Popek, Richard R. Muntz : A Locking Protocol for Resource Coordination in Distributed Databases. TODS 5 (2): 103-138 (1980)

18 Dushan Z. Badal , Gerald J. Popek: Cost and Performance Analysis of Semantic Integrity Validation Methods. SIGMOD Conference 1979 : 109-115

17 Bruce J. Walker , Richard A. Kemmerer , Gerald J. Popek: Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). SOSP 1979 : 64-65

16 Deborah Downs , Gerald J. Popek: Data Base Management Systems Security and INGRES. VLDB 1979 : 280-290

15 Gerald J. Popek, Charles S. Kline : Encryption and Secure Computer Networks. ACM Computing Surveys 11 (4): 331-356 (1979)

14 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

13 Gerald J. Popek, Charles S. Kline : Issues in Kernel Design. Advanced Course: Operating Systems 1978 : 209-227

12 Gerald J. Popek, Charles S. Kline : Design Issues for Secure Computer Networks. Advanced Course: Operating Systems 1978 : 517-546

11 Dushan Z. Badal , Gerald J. Popek: A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems. Berkeley Workshop 1978 : 273-285

10 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

9 Daniel A. Menascé , Gerald J. Popek, Richard R. Muntz : A Locking Protocol for Resource Coordination in Distributed Databases (Abstract). SIGMOD Conference 1978 : 2

8 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)

7 Gerald J. Popek, David A. Farber : A Model for Verification of Data Security in Operating Systems. CACM 21 (9): 737-749 (1978)

6 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

5 Deborah Downs , Gerald J. Popek: A Kernel Design for a Secure Data Base Management System. VLDB 1977 : 507-514

4 Gerald J. Popek, Charles S. Kline : The PDP-11 Virtual Machine Architecture: A Case Study. SOSP 1975 : 97-105

3 Mary E. Snuggs , Gerald J. Popek, Ronald J. Peterson : Data Base System Objectives as Design Constraints. DATA BASE 6 (3): 11-20 (1975)

2 Gerald J. Popek, Robert P. Goldberg : Formal Requirements for Virtualizable Third Generation Architectures. CACM 17 (7): 412-421 (1974)

1 Gerald J. Popek, Robert P. Goldberg : Formal Requirements for Virtualizable Third Generation Architectures. SOSP 1973 : 121




DiSC'02 © 2003 Association for Computing Machinery