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:
9 × USA
Collaborated with:
D.Gries A.Agarwal B.Hailpern M.N.Nelson M.A.Linton V.Nguyen A.Birrell G.Nelson E.Wobber T.E.Anderson J.B.Saxe C.P.Thacker A.R.Karlin K.Li M.S.Manasse
Talks about:
program (3) network (3) system (3) parallel (2) verif (2) high (2) multiprocessor (1) properti (1) competit (1) approach (1)

Person: Susan S. Owicki

DBLP DBLP: Owicki:Susan_S=

Contributed to:

SOSP 19951995
SOSP 19931993
ASPLOS 19921992
SOSP 19911991
ASPLOS 19891989
POPL 19851985
POPL 19821982
POPL 19811981
STOC 19761976
SOSP 19751976

Wrote 10 papers:

SOSP-1995-NelsonLO #scalability
A Highly Available, Scalable ITV System (MNN, MAL, SSO), pp. 54–67.
SOSP-1993-BirrellNOW #network
Network Objects (AB, GN, SSO, EW), pp. 217–230.
ASPLOS-1992-AndersonOST #network #scheduling
High Speed Switch Scheduling for Local Area Networks (TEA, SSO, JBS, CPT), pp. 98–110.
SOSP-1991-KarlinLMO #empirical #multi
Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor (ARK, KL, MSM, SSO), pp. 41–55.
ASPLOS-1989-OwickiA #performance
Evaluating the Performance of Software Cache Coherence (SSO, AA), pp. 230–242.
POPL-1985-NguyenGO #network #process #proving
A Model and Temporal Proof System for Networks of Processes (VN, DG, SSO), pp. 121–131.
POPL-1982-HailpernO #composition #concurrent #source code #verification
Modular Verification of Concurrent Programs (BH, SSO), pp. 322–336.
POPL-1981-Owicki #garbage collection
Making the World Safe for Garbage Collection (SSO), pp. 77–86.
STOC-1976-Owicki #consistency #deduction #parallel #source code #verification
A Consistent and Complete Deductive System for the Verification of Parallel Programs (SSO), pp. 73–86.
SOSP-J-1975-OwickiG76 #approach #axiom #parallel #source code #verification
Verifying Properties of Parallel Programs: An Axiomatic Approach (SSO, DG), pp. 279–285.

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.