BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Popek:Gerald_J=

Contributed to:

SAC 19991999
SOSP 19971997
SOSP 19951995
SOSP 19911992
SOSP 19891989
PODS 19851985
SIGMOD 19851985
SOSP 19851985
SOSP 19831983
SOSP 19811981
SIGMOD 19791979
SOSP 19791979
SOSP 19791980
VLDB 19791979
SIGMOD 19781978
VLDB 19771977
SOSP 19751975
SOSP 19731973

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.