Travelled to:1 × Brazil
1 × France
1 × Japan
12 × USA
Collaborated with:T.W.P.Jr. B.J.Walker D.Downs C.S.Kline G.H.Kuenning J.S.Heidemann R.A.Kemmerer M.J.Weinstein B.D.Fleisch D.Z.Badal R.P.Goldberg G.Thiel E.T.Mueller J.D.Moore D.A.Menascé R.R.Muntz A.Rudenko P.L.Reiher R.G.Guy B.Livezey R.English J.M.Chow D.A.Edwards G.Rudisin
Talks about:distribut (7) system (7) secur (4) kernel (3) manag (3) locus (3) oper (3) architectur (2) transact (2) perform (2)
Person: Gerald J. Popek
DBLP: Popek:Gerald_J=
Contributed to:
1999
1997199519921989
1985
1985198519831981197919791980
19791978197719751973Wrote 19 papers:
- SAC-1999-RudenkoRPK #framework #power management
- The Remote Processing Framework for Portable Computer Power Saving (AR, PLR, GJP, GHK), pp. 365–372.
- SOSP-1997-KuenningP #automation #mobile
- Automated Hoarding for Mobile Computers (GHK, GJP), pp. 264–275.
- SOSP-1995-HeidemannP #performance
- Performance of Cache Coherence in Stackable Filing (JSH, GJP), pp. 127–142.
- SOSP-WIP-1991-GuyHPP92 #file system
- The Ficus Replicated File System (RGG, JSH, TWPJ, GJP), p. 26.
- SOSP-1989-FleischP #design #distributed #memory management #named
- Mirage: A Coherent Distributed Shared Memory Design (BDF, GJP), pp. 211–223.
- PODS-1985-PageP #distributed #network
- Distributed Management in Local Area Networks (TWPJ, GJP), pp. 135–142.
- SIGMOD-1985-PageWP #database #distributed #named #operating system #overview
- Genesis: A Distributed Database Operating System (TWPJ, MJW, GJP), pp. 374–387.
- SOSP-1985-WeinsteinPLP #distributed #operating system #transaction
- Transactions and Synchronization in a Distributed Operating System (MJW, TWPJ, BL, GJP), pp. 115–126.
- SOSP-1983-MuellerMP #transaction
- A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.
- SOSP-1983-WalkerPEKT #distributed #operating system
- The LOCUS Distributed Operating System (BJW, GJP, RE, CSK, GT), pp. 49–70.
- SOSP-1981-PopekWCERT #distributed #named #network #reliability
- LOCUS — A Network Transparent, High Reliability Distributed System (GJP, BJW, JMC, DAE, CSK, GR, GT), pp. 169–177.
- SIGMOD-1979-BadalP #analysis #performance #semantics #validation
- Cost and Performance Analysis of Semantic Integrity Validation Methods (DZB, GJP), pp. 109–115.
- SOSP-1979-WalkerKP #kernel #security #specification #verification
- Specification and Verification of the UCLA Unix Security Kernel (BJW, RAK, GJP), pp. 64–65.
- SOSP-J-1979-WalkerKP80 #kernel #security #specification #verification
- Specification and Verification of the UCLA Unix Security Kernel (BJW, RAK, GJP), pp. 118–131.
- VLDB-1979-DownsP #database #security
- Data Base Management Systems Security and INGRES (DD, GJP), pp. 280–290.
- SIGMOD-1978-MenascePM #coordination #database #distributed #protocol
- A Locking Protocol for Resource Coordination in Distributed Databases (DAM, GJP, RRM), p. 2.
- VLDB-1977-DownsP #database #design #kernel
- A Kernel Design for a Secure Data Base Management System (DD, GJP), pp. 507–514.
- SOSP-1975-PopekK #architecture #case study #virtual machine
- The PDP-11 Virtual Machine Architecture: A Case Study (GJP, CSK), pp. 97–105.
- SOSP-1973-PopekG #architecture #generative #requirements
- Formal Requirements for Virtualizable Third Generation Architectures (GJP, RPG), p. 121.