Susan S. Owicki

	1995
31		Michael N. Nelson, Mark A. Linton, Susan S. Owicki: A Highly Available, Scalable ITV System. SOSP 1995: 54-67
30		Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber: Network Objects Softw., Pract. Exper. 25(S4): S4 (1995)
	1994
29		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
28		Susan S. Owicki: A Perspective on AN2: Local Area Network as Distributed System. PODC 1993: 1-11
27		Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber: Network Objects. SOSP 1993: 217-230
26		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
25		Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker: High Speed Switch Scheduling for Local Area Networks. ASPLOS 1992: 98-110
24		Susan S. Owicki, Anna R. Karlin: Factors in the Performance of the AN1 Computer Network. SIGMETRICS 1992: 167-180
	1991
23		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
22		Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki: Competitive Randomized Algorithms for Non-Uniform Problems. SODA 1990: 301-309
	1989
21		Susan S. Owicki, Anant Agarwal: Evaluating the Performance of Software Cache Coherence. ASPLOS 1989: 230-242
	1986
20		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
19		Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki: Behavior: A Temporal Approach to Process Modelling. Logic of Programs 1985: 237-254
18		Van Nguyen, David Gries, Susan S. Owicki: A Model and Temporal Proof System for Networks of Processes. POPL 1985: 121-131
17		Keith Marzullo, Susan S. Owicki: Maintaining the Time in a Distributed System. Operating Systems Review 19(3): 44-54 (1985)
	1983
16		Amy L. Lansky, Susan S. Owicki: GEM: A Tool for Concurrency Specification and Verification. PODC 1983: 198-212
15		Keith Marzullo, Susan S. Owicki: Maintaining the Time in a Distributed System. PODC 1983: 295-305
	1982
14		Stefano Ceri, Susan S. Owicki: On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. Berkeley Workshop 1982: 117-129
13		Les Belady, Susan S. Owicki, Robert Balzer, Bill Curtis: Panel Discussion. COMPCON 1982: 235-236
12		Brent Hailpern, Susan S. Owicki: Modular Verification of Concurrent Programs. POPL 1982: 322-336
11		Susan S. Owicki, Leslie Lamport: Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst. 4(3): 455-495 (1982)
	1981
10		Leslie Lamport, Susan S. Owicki: Program Logics and Program Verification (position paper). Logic of Programs 1981: 197-199
9		Susan S. Owicki: Making the World Safe for Garbage Collection. POPL 1981: 77-86
	1978
8		Edward J. McCluskey, John F. Wakerly, E. David Crockett, Thomas E. Bredt, David J. Lu, William M. van Cleemput, Susan S. Owicki, Roy C. Ogus, Ravi Apte, M. Danielle Beaurdy, Jacques Losq: Proceedings of the 5th Annual Symposium on Computer Architecture, April 1978 ACM 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

1	Anant Agarwal	[21]
2	Thomas E. Anderson	[25] [26]
3	Ravi Apte	[8]
4	Robert Balzer (Robert M. Balzer)	[13]
5	M. Danielle Beaurdy	[8]
6	Laszlo A. Belady (Les Belady)	[13]
7	Andrew Birrell	[27] [30]
8	Thomas E. Bredt	[8]
9	Stefano Ceri	[14]
10	William M. van Cleemput	[8]
11	E. David Crockett	[8]
12	Bill Curtis	[13]
13	Alan J. Demers	[19] [20]
14	David Gries	[2] [3] [18] [19] [20]
15	Brent Hailpern	[12]
16	Anna R. Karlin	[22] [23] [24] [29]
17	Leslie Lamport	[10] [11]
18	Amy L. Lansky	[16]
19	Kai Li	[23]
20	Mark A. Linton	[31]
21	Jacques Losq	[8]
22	David J. Lu	[8]
23	Mark S. Manasse (Mark Manasse)	[22] [23] [29]
24	Keith Marzullo	[15] [17]
25	Edward J. McCluskey	[8]
26	Lyle A. McGeoch	[22] [29]
27	Greg Nelson	[27] [30]
28	Michael N. Nelson	[31]
29	Van Nguyen	[18] [19] [20]
30	Roy C. Ogus	[8]
31	James B. Saxe	[25] [26]
32	Charles P. Thacker	[25] [26]
33	John F. Wakerly	[8]
34	Edward Wobber	[27] [30]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page