dblp.uni-trier.dewww.uni-trier.de

Susan S. Owicki Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
25EEThomas 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
10EESusan 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

Coauthor Index

1Anant Agarwal [20]
2Thomas E. Anderson [24] [25]
3Robert Balzer [12]
4Les Belady [12]
5Andrew Birrell [26] [29]
6Stefano Ceri [13]
7Bill Curtis [12]
8Alan J. Demers [18] [19]
9David Gries [2] [3] [17] [18] [19]
10Brent Hailpern [11]
11Anna R. Karlin [21] [22] [23] [28]
12Leslie Lamport [9] [10]
13Amy L. Lansky [15]
14Kai Li [22]
15Mark A. Linton [30]
16Mark S. Manasse (Mark Manasse) [21] [22] [28]
17Keith Marzullo [14] [16]
18Lyle A. McGeoch [21] [28]
19Greg Nelson [26] [29]
20Michael N. Nelson [30]
21Van Nguyen [17] [18] [19]
22James B. Saxe [24] [25]
23Charles P. Thacker [24] [25]
24Edward Wobber [26] [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)