Susan S. Owicki

According to our database1, Susan S. Owicki
  • authored at least 31 papers between 1975 and 1995.
  • has a "Dijkstra number"2 of two.

Awards

ACM Fellow

ACM Fellow 1994, "For co-authoring of 'An Axiomatic Proof Technique for Parallel Programs I', the best paper in the area of Programming Systems and Languages.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

1995
Network Objects
Softw., Pract. Exper., 1995

A Highly Available, Scalable ITV System.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994
Competitive Randomized Algorithms for Nonuniform Problems.
Algorithmica, 1994

1993
High Speed Switch Scheduling for Local Area Networks.
ACM Trans. Comput. Syst., 1993

Network Objects.
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

A Perspective on AN2: Local Area Network as Distributed System.
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993

1992
Factors in the Performance of the AN1 Computer Network.
Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1992

High Speed Switch Scheduling for Local Area Networks.
Proceedings of the ASPLOS-V Proceedings, 1992

1991
Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor.
Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991

1990
Competitive Randomized Algorithms for Non-Uniform Problems.
Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, 1990

1989
Evaluating the Performance of Software Cache Coherence.
Proceedings of the ASPLOS-III Proceedings, 1989

1986
A Model and Temporal Proof System for Networks of Processes.
Distributed Computing, 1986

1985
Maintaining the Time in a Distributed System.
Operating Systems Review, 1985

A Model and Temporal Proof System for Networks of Processes.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Behavior: A Temporal Approach to Process Modelling.
Proceedings of the Logics of Programs, 1985

1983
Construction of centered shortest-path trees in networks.
Networks, 1983

Maintaining the Time in a Distributed System.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

GEM: A Tool for Concurrency Specification and Verification.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

1982
Proving Liveness Properties of Concurrent Programs.
ACM Trans. Program. Lang. Syst., 1982

Modular Verification of Concurrent Programs.
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

Panel Discussion.
Proceedings of the COMPCON'82, 1982

On the Use of Optimistic Methods for Concurrency Control in Distributed Databases.
Berkeley Workshop, 1982

1981
Making the World Safe for Garbage Collection.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Program Logics and Program Verification (position paper).
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, May 1981, 1981

1978
Specification and Verification of a Network Nail System.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Specifications and Proofs for Abstract Data Types in Concurrent Programs.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Verifying parallel programs with resource allocation.
Proceedings of the Mathematical Studies of Information Processing, 1978

1976
Verifying Properties of Parallel Programs: An Axiomatic Approach.
Commun. ACM, 1976

An Axiomatic Proof Technique for Parallel Programs I.
Acta Inf., 1976

A Consistent and Complete Deductive System for the Verification of Parallel Programs
Proceedings of the 8th Annual ACM Symposium on Theory of Computing, 1976

1975
Axiomatic Proof Techniques for Parallel Programs
Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4413-4, 1975


  Loading...