Susan S. Owicki

According to our database, Susan S. Owicki authored at least 31 papers between 1975 and 1995.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

1995

Network Objects

Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber

Softw. Pract. Exp., 1995

A Highly Available, Scalable ITV System.

Michael N. Nelson, Mark A. Linton, Susan S. Owicki

Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994

Competitive Randomized Algorithms for Nonuniform Problems.

Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki

Algorithmica, 1994

1993

High Speed Switch Scheduling for Local Area Networks.

Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker

ACM Trans. Comput. Syst., 1993

A Perspective on AN2: Local Area Network as Distributed System.

Susan S. Owicki

Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993

1992

Factors in the Performance of the AN1 Computer Network.

Susan S. Owicki, Anna R. Karlin

Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1992

1991

Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor.

Anna R. Karlin, Kai Li, Mark S. Manasse, Susan S. Owicki

Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991

1990

Competitive Randomized Algorithms for Non-Uniform Problems.

Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki

Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, 1990

1989

Evaluating the Performance of Software Cache Coherence.

Susan S. Owicki, Anant Agarwal

Proceedings of the ASPLOS-III Proceedings, 1989

1986

A Model and Temporal Proof System for Networks of Processes.

Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki

Distributed Comput., 1986

1985

Maintaining the Time in a Distributed System.

Keith Marzullo, Susan S. Owicki

ACM SIGOPS Oper. Syst. Rev., 1985

A Model and Temporal Proof System for Networks of Processes.

Van Nguyen, David Gries, Susan S. Owicki

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Behavior: A Temporal Approach to Process Modelling.

Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki

Proceedings of the Logics of Programs, 1985

1983

Modular Verification of Computer Communication Protocols.

Brent Hailpern, Susan S. Owicki

IEEE Trans. Commun., 1983

Construction of centered shortest-path trees in networks.

David W. Wall, Susan S. Owicki

Networks, 1983

GEM: A Tool for Concurrency Specification and Verification.

Amy L. Lansky, Susan S. Owicki

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

1982

Proving Liveness Properties of Concurrent Programs.

Susan S. Owicki, Leslie Lamport

ACM Trans. Program. Lang. Syst., 1982

Modular Verification of Concurrent Programs.

Brent Hailpern, Susan S. Owicki

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

Panel Discussion.

Les Belady, Susan S. Owicki, Robert Balzer, Bill Curtis

Proceedings of the COMPCON'82, 1982

On the Use of Optimistic Methods for Concurrency Control in Distributed Databases.

Stefano Ceri, Susan S. Owicki

Proceedings of the Sixth Berkeley Workshop on Distributed Data Management and Computer Networks, 1982

1981

Making the World Safe for Garbage Collection.

Susan S. Owicki

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Program Logics and Program Verification (position paper).

Leslie Lamport, Susan S. Owicki

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

1978

Specification and Verification of a Network Nail System.

Susan S. Owicki

Proceedings of the Program Construction, International Summer School, July 26, 1978

Specifications and Proofs for Abstract Data Types in Concurrent Programs.

Susan S. Owicki

Proceedings of the Program Construction, International Summer School, July 26, 1978

Verifying parallel programs with resource allocation.

Susan S. Owicki

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

Verifying Concurrent Programs With Shared Data Classes.

Susan S. Owicki

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

Verifying Properties of Parallel Programs: An Axiomatic Approach.

Susan S. Owicki, David Gries

Commun. ACM, 1976

An Axiomatic Proof Technique for Parallel Programs I.

Susan S. Owicki, David Gries

Acta Informatica, 1976

A Consistent and Complete Deductive System for the Verification of Parallel Programs

Susan S. Owicki

Proceedings of the 8th Annual ACM Symposium on Theory of Computing, 1976

1975

Axiomatic Proof Techniques for Parallel Programs.

Susan S. Owicki

PhD thesis, 1975

Axiomatic Proof Techniques for Parallel Programs

Susan S. Owicki

Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4413-4, 1975