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: Owicki:Susan_S=
Contributed to:
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.