Susan S. Owicki

Publication Activity (10 Years)

Years Active: 1976-1995
Publications (10 Years): 0

Publications

Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
Network Objects Softw. Pract. Exp. 25 (S4) (1995)
Michael N. Nelson, Mark A. Linton, Susan S. Owicki
A Highly Available, Scalable ITV System. SOSP (1995)
Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki
Competitive Randomized Algorithms for Nonuniform Problems. Algorithmica 11 (6) (1994)
Susan S. Owicki
A Perspective on AN2: Local Area Network as Distributed System. PODC (1993)
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) (1993)
Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
Network Objects. SOSP (1993)
Susan S. Owicki, Anna R. Karlin
Factors in the Performance of the AN1 Computer Network. SIGMETRICS (1992)
Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker
High Speed Switch Scheduling for Local Area Networks. ASPLOS (1992)
Anna R. Karlin, Kai Li, Mark S. Manasse, Susan S. Owicki
Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. SOSP (1991)
Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki
Competitive Randomized Algorithms for Non-Uniform Problems. SODA (1990)
Susan S. Owicki, Anant Agarwal
Evaluating the Performance of Software Cache Coherence. ASPLOS (1989)
Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
A Model and Temporal Proof System for Networks of Processes. Distributed Comput. 1 (1) (1986)
Keith Marzullo, Susan S. Owicki
Maintaining the Time in a Distributed System. ACM SIGOPS Oper. Syst. Rev. 19 (3) (1985)
Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
Behavior: A Temporal Approach to Process Modelling. Logic of Programs (1985)
Van Nguyen, David Gries, Susan S. Owicki
A Model and Temporal Proof System for Networks of Processes. POPL (1985)
Amy L. Lansky, Susan S. Owicki
GEM: A Tool for Concurrency Specification and Verification. PODC (1983)
Brent Hailpern, Susan S. Owicki
Modular Verification of Computer Communication Protocols. IEEE Trans. Commun. 31 (1) (1983)
David W. Wall, Susan S. Owicki
Construction of centered shortest-path trees in networks. Networks 13 (2) (1983)
Keith Marzullo, Susan S. Owicki
Maintaining the Time in a Distributed System. PODC (1983)
Stefano Ceri, Susan S. Owicki
On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. Berkeley Workshop (1982)
Susan S. Owicki, Leslie Lamport
Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst. 4 (3) (1982)
Brent Hailpern, Susan S. Owicki
Modular Verification of Concurrent Programs. POPL (1982)
Les Belady, Susan S. Owicki, Robert Balzer, Bill Curtis
Panel Discussion. COMPCON (1982)
Leslie Lamport, Susan S. Owicki
Program Logics and Program Verification (position paper). Logic of Programs (1981)
Susan S. Owicki
Making the World Safe for Garbage Collection. POPL (1981)
Susan S. Owicki
Specification and Verification of a Network Nail System. Program Construction (1978)
Susan S. Owicki
Specifications and Proofs for Abstract Data Types in Concurrent Programs. Program Construction (1978)
Susan S. Owicki
Verifying parallel programs with resource allocation. Mathematical Studies of Information Processing (1978)
Susan S. Owicki
Verifying Concurrent Programs With Shared Data Classes. Formal Description of Programming Concepts (1977)
Susan S. Owicki, David Gries
An Axiomatic Proof Technique for Parallel Programs I. Acta Informatica 6 (1976)
Susan S. Owicki, David Gries
Verifying Properties of Parallel Programs: An Axiomatic Approach. Commun. ACM 19 (5) (1976)
Susan S. Owicki
A Consistent and Complete Deductive System for the Verification of Parallel Programs STOC (1976)