| 1995 | SOSP | A Highly Available, Scalable ITV System. | Michael N. Nelson, Mark A. Linton, Susan S. Owicki |
| 1993 | PODC | A Perspective on AN2: Local Area Network as Distributed System. | Susan S. Owicki |
| 1993 | SOSP | Network Objects. | Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber |
| 1992 | ASPLOS | High Speed Switch Scheduling for Local Area Networks. | Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker |
| 1992 | SIGMETRICS | Factors in the Performance of the AN1 Computer Network. | Susan S. Owicki, Anna R. Karlin |
| 1991 | SOSP | Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. | Anna R. Karlin, Kai Li, Mark S. Manasse, Susan S. Owicki |
| 1990 | SODA | Competitive Randomized Algorithms for Non-Uniform Problems. | Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki |
| 1989 | ASPLOS | Evaluating the Performance of Software Cache Coherence. | Susan S. Owicki, Anant Agarwal |
| 1985 | POPL | A Model and Temporal Proof System for Networks of Processes. | Van Nguyen, David Gries, Susan S. Owicki |
| 1983 | PODC | GEM: A Tool for Concurrency Specification and Verification. | Amy L. Lansky, Susan S. Owicki |
| 1983 | PODC | Maintaining the Time in a Distributed System. | Keith Marzullo, Susan S. Owicki |
| 1982 | POPL | Modular Verification of Concurrent Programs. | Brent Hailpern, Susan S. Owicki |
| 1981 | POPL | Making the World Safe for Garbage Collection. | Susan S. Owicki |
| 1976 | STOC | A Consistent and Complete Deductive System for the Verification of Parallel Programs | Susan S. Owicki |