Susan S. Owicki

Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber: Network Objects. Softw., Pract. Exper. 25(S4): S4 (1995)

Michael N. Nelson, Mark A. Linton, Susan S. Owicki: A Highly Available, Scalable ITV System. SOSP 1995: 54-67

Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki: Competitive Randomized Algorithms for Nonuniform Problems. Algorithmica 11(6): 542-571 (1994)

Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker: High Speed Switch Scheduling for Local Area Networks. ACM Trans. Comput. Syst. 11(4): 319-352 (1993)

Susan S. Owicki: A Perspective on AN2: Local Area Network as Distributed System. PODC 1993: 1-11

Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber: Network Objects. SOSP 1993: 217-230

Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker: High Speed Switch Scheduling for Local Area Networks. ASPLOS 1992: 98-110

Susan S. Owicki, Anna R. Karlin: Factors in the Performance of the AN1 Computer Network. SIGMETRICS 1992: 167-180

Anna R. Karlin, Kai Li, Mark S. Manasse, Susan S. Owicki: Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. SOSP 1991: 41-55

Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki: Competitive Randomized Algorithms for Non-Uniform Problems. SODA 1990: 301-309

Susan S. Owicki, Anant Agarwal: Evaluating the Performance of Software Cache Coherence. ASPLOS 1989: 230-242

Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki: A Model and Temporal Proof System for Networks of Processes. Distributed Computing 1(1): 7-25 (1986)

Keith Marzullo, Susan S. Owicki: Maintaining the Time in a Distributed System. Operating Systems Review 19(3): 44-54 (1985)

Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki: Behavior: A Temporal Approach to Process Modelling. Logic of Programs 1985: 237-254

Van Nguyen, David Gries, Susan S. Owicki: A Model and Temporal Proof System for Networks of Processes. POPL 1985: 121-131

David W. Wall, Susan S. Owicki: Construction of centered shortest-path trees in networks. Networks 13(2): 207-232 (1983)

Amy L. Lansky, Susan S. Owicki: GEM: A Tool for Concurrency Specification and Verification. PODC 1983: 198-212

Keith Marzullo, Susan S. Owicki: Maintaining the Time in a Distributed System. PODC 1983: 295-305

Susan S. Owicki, Leslie Lamport: Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst. 4(3): 455-495 (1982)

Stefano Ceri, Susan S. Owicki: On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. Berkeley Workshop 1982: 117-129

Les Belady, Susan S. Owicki, Robert Balzer, Bill Curtis: Panel Discussion. COMPCON 1982: 235-236

Brent Hailpern, Susan S. Owicki: Modular Verification of Concurrent Programs. POPL 1982: 322-336

Leslie Lamport, Susan S. Owicki: Program Logics and Program Verification (position paper). Logic of Programs 1981: 197-199

Susan S. Owicki: Making the World Safe for Garbage Collection. POPL 1981: 77-86

Susan S. Owicki: Verifying parallel programs with resource allocation. Mathematical Studies of Information Processing 1978: 151-164

Susan S. Owicki: Specifications and Proofs for Abstract Data Types in Concurrent Programs. Program Construction 1978: 174-197

Susan S. Owicki: Specification and Verification of a Network Nail System. Program Construction 1978: 198-234

Edward J. McCluskey, John F. Wakerly, E. David Crockett, Thomas E. Bredt, David J. Lu, William M. van Cleemput, Susan S. Owicki, Roy C. Ogus, Ravi Apte, M. Danielle Beaurdy, Jacques Losq (Eds.): Proceedings of the 5th Annual Symposium on Computer Architecture, April 1978. ACM 1978

Susan S. Owicki, David Gries: An Axiomatic Proof Technique for Parallel Programs I. Acta Inf. 6: 319-340 (1976)

Susan S. Owicki, David Gries: Verifying Properties of Parallel Programs: An Axiomatic Approach. Commun. ACM 19(5): 279-285 (1976)

Susan S. Owicki: A Consistent and Complete Deductive System for the Verification of Parallel Programs. STOC 1976: 73-86

Susan S. Owicki: Axiomatic Proof Techniques for Parallel Programs. Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York 1975, isbn 0-8240-4413-4