| * | 1995 |
|---|
| 30 | | Michael N. Nelson,
Mark A. Linton,
Susan S. Owicki:
A Highly Available, Scalable ITV System.
SOSP 1995: 54-67 |
| 29 | | Andrew Birrell,
Greg Nelson,
Susan S. Owicki,
Edward Wobber:
Network Objects
Softw., Pract. Exper. 25(S4): S4/87-S4/130 (1995) |
| 1994 |
|---|
| 28 | | Anna R. Karlin,
Mark S. Manasse,
Lyle A. McGeoch,
Susan S. Owicki:
Competitive Randomized Algorithms for Nonuniform Problems.
Algorithmica 11(6): 542-571 (1994) |
| 1993 |
|---|
| 27 | | Susan S. Owicki:
A Perspective on AN2: Local Area Network as Distributed System.
PODC 1993: 1-11 |
| 26 | | Andrew Birrell,
Greg Nelson,
Susan S. Owicki,
Edward Wobber:
Network Objects.
SOSP 1993: 217-230 |
| 25 | EE | 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) |
| 1992 |
|---|
| 24 | | Thomas E. Anderson,
Susan S. Owicki,
James B. Saxe,
Charles P. Thacker:
High Speed Switch Scheduling for Local Area Networks.
ASPLOS 1992: 98-110 |
| 23 | | Susan S. Owicki,
Anna R. Karlin:
Factors in the Performance of the AN1 Computer Network.
SIGMETRICS 1992: 167-180 |
| 1991 |
|---|
| 22 | | 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 |
| 1990 |
|---|
| 21 | | Anna R. Karlin,
Mark S. Manasse,
Lyle A. McGeoch,
Susan S. Owicki:
Competitive Randomized Algorithms for Non-Uniform Problems.
SODA 1990: 301-309 |
| 1989 |
|---|
| 20 | | Susan S. Owicki,
Anant Agarwal:
Evaluating the Performance of Software Cache Coherence.
ASPLOS 1989: 230-242 |
| 1986 |
|---|
| 19 | | 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) |
| 1985 |
|---|
| 18 | | Van Nguyen,
Alan J. Demers,
David Gries,
Susan S. Owicki:
Behavior: A Temporal Approach to Process Modelling.
Logic of Programs 1985: 237-254 |
| 17 | | Van Nguyen,
David Gries,
Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes.
POPL 1985: 121-131 |
| 16 | | Keith Marzullo,
Susan S. Owicki:
Maintaining the Time in a Distributed System.
Operating Systems Review 19(3): 44-54 (1985) |
| 1983 |
|---|
| 15 | | Amy L. Lansky,
Susan S. Owicki:
GEM: A Tool for Concurrency Specification and Verification.
PODC 1983: 198-212 |
| 14 | | Keith Marzullo,
Susan S. Owicki:
Maintaining the Time in a Distributed System.
PODC 1983: 295-305 |
| 1982 |
|---|
| 13 | | Stefano Ceri,
Susan S. Owicki:
On the Use of Optimistic Methods for Concurrency Control in Distributed Databases.
Berkeley Workshop 1982: 117-129 |
| 12 | | Les Belady,
Susan S. Owicki,
Robert Balzer,
Bill Curtis:
Panel Discussion.
COMPCON 1982: 235-236 |
| 11 | | Brent Hailpern,
Susan S. Owicki:
Modular Verification of Concurrent Programs.
POPL 1982: 322-336 |
| 10 | EE | Susan S. Owicki,
Leslie Lamport:
Proving Liveness Properties of Concurrent Programs.
ACM Trans. Program. Lang. Syst. 4(3): 455-495 (1982) |
| 1981 |
|---|
| 9 | | Leslie Lamport,
Susan S. Owicki:
Program Logics and Program Verification (position paper).
Logic of Programs 1981: 197-199 |
| 8 | | Susan S. Owicki:
Making the World Safe for Garbage Collection.
POPL 1981: 77-86 |
| 1978 |
|---|
| 7 | | Susan S. Owicki:
Verifying parallel programs with resource allocation.
Mathematical Studies of Information Processing 1978: 151-164 |
| 6 | | Susan S. Owicki:
Specifications and Proofs for Abstract Data Types in Concurrent Programs.
Program Construction 1978: 174-197 |
| 5 | | Susan S. Owicki:
Specification and Verification of a Network Nail System.
Program Construction 1978: 198-234 |
| 1976 |
|---|
| 4 | | Susan S. Owicki:
A Consistent and Complete Deductive System for the Verification of Parallel Programs
STOC 1976: 73-86 |
| 3 | | Susan S. Owicki,
David Gries:
An Axiomatic Proof Technique for Parallel Programs I.
Acta Inf. 6: 319-340 (1976) |
| 2 | | Susan S. Owicki,
David Gries:
Verifying Properties of Parallel Programs: An Axiomatic Approach.
Commun. ACM 19(5): 279-285 (1976) |
| 1975 |
|---|
| 1 | | Susan S. Owicki:
Axiomatic Proof Techniques for Parallel Programs
Garland Publishing, New York 1975 |
