Susan S. Owicki

36 papers A* 15Journal 10Unranked 8

Year	Rank	Type	Title / Venue / Authors
1995	A*	`conf`	A Highly Available, Scalable ITV System. SOSP Michael N. Nelson, Mark A. Linton, Susan S. Owicki
1995	J	`jnl`	Network Objects Softw. Pract. Exp. Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
1994	J	`jnl`	Competitive Randomized Algorithms for Nonuniform Problems. Algorithmica Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki
1993	A*	`conf`	A Perspective on AN2: Local Area Network as Distributed System. PODC Susan S. Owicki
1993	J	`jnl`	High Speed Switch Scheduling for Local Area Networks. ACM Trans. Comput. Syst. Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker
1993	A*	`conf`	Network Objects. SOSP Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
1993	A*	`ed.`	Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Santa Clara, California, USA, May 10-14, 1993 SIGMETRICS Susan S. Owicki, Richard R. Muntz
1992	A*	`conf`	Factors in the Performance of the AN1 Computer Network. SIGMETRICS Susan S. Owicki, Anna R. Karlin
1992	A*	`conf`	High Speed Switch Scheduling for Local Area Networks. ASPLOS Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker
1991	A*	`conf`	Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor. SOSP Anna R. Karlin, Kai Li, Mark S. Manasse, Susan S. Owicki
1990	A*	`conf`	Competitive Randomized Algorithms for Non-Uniform Problems. SODA Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch, Susan S. Owicki
1989	A*	`conf`	Evaluating the Performance of Software Cache Coherence. ASPLOS Susan S. Owicki, Anant Agarwal
1986	J	`jnl`	A Model and Temporal Proof System for Networks of Processes. Distributed Comput. Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
1985	A*	`conf`	A Model and Temporal Proof System for Networks of Processes. POPL Van Nguyen, David Gries, Susan S. Owicki
1985	—	`conf`	Behavior: A Temporal Approach to Process Modelling. Logic of Programs Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
1985	J	`jnl`	Maintaining the Time in a Distributed System. ACM SIGOPS Oper. Syst. Rev. Keith Marzullo, Susan S. Owicki
1983	J	`jnl`	Construction of centered shortest-path trees in networks. Networks David W. Wall, Susan S. Owicki
1983	A*	`conf`	GEM: A Tool for Concurrency Specification and Verification. PODC Amy L. Lansky, Susan S. Owicki
1983	A*	`conf`	Maintaining the Time in a Distributed System. PODC Keith Marzullo, Susan S. Owicki
1983	J	`jnl`	Modular Verification of Computer Communication Protocols. IEEE Trans. Commun. Brent Hailpern, Susan S. Owicki
1982	A*	`conf`	Modular Verification of Concurrent Programs. POPL Brent Hailpern, Susan S. Owicki
1982	—	`conf`	On the Use of Optimistic Methods for Concurrency Control in Distributed Databases. Berkeley Workshop Stefano Ceri, Susan S. Owicki
1982	—	`conf`	Panel Discussion. COMPCON Les Belady, Susan S. Owicki, Robert Balzer, Bill Curtis
1982	J	`jnl`	Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst. Susan S. Owicki, Leslie Lamport
1981	A*	`conf`	Making the World Safe for Garbage Collection. POPL Susan S. Owicki
1981	—	`conf`	Program Logics and Program Verification (position paper). Logic of Programs Leslie Lamport, Susan S. Owicki
1978	—	`ed.`	Proceedings of the 5th Annual Symposium on Computer Architecture, Palo Alto, CA, USA, April 1978 ISCA Edward J. McCluskey, John F. Wakerly, E. David Crockett, Thomas H. Bredt, David J. Lu, William M. van Cleemput, Susan S. Owicki, Roy C. Ogus, Ravi Apte, M. Danielle Beaurdy, Jacques Losq
1978	—	`conf`	Specification and Verification of a Network Nail System. Program Construction Susan S. Owicki
1978	—	`conf`	Specifications and Proofs for Abstract Data Types in Concurrent Programs. Program Construction Susan S. Owicki
1978	—	`conf`	Verifying parallel programs with resource allocation. Mathematical Studies of Information Processing Susan S. Owicki
1977	—	`conf`	Verifying Concurrent Programs With Shared Data Classes. Formal Description of Programming Concepts Susan S. Owicki
1976	A*	`conf`	A Consistent and Complete Deductive System for the Verification of Parallel Programs STOC Susan S. Owicki
1976	J	`jnl`	An Axiomatic Proof Technique for Parallel Programs I. Acta Informatica Susan S. Owicki, David Gries
1976	J	`jnl`	Verifying Properties of Parallel Programs: An Axiomatic Approach. Commun. ACM Susan S. Owicki, David Gries
1975	—	`book`	Axiomatic Proof Techniques for Parallel Programs Susan S. Owicki
1975	—	`—`	Axiomatic Proof Techniques for Parallel Programs. Susan S. Owicki