Concepedia

Susan Owicki

SO

Statistics

Publications

27

Citations

4.6K

H-Index

21

Active since

1976

Affiliations

Stanford University(Current)

Cornell University

Amherst College

Princeton University

IBM Research - Thomas J. Watson Research Center

Susan Owicki is an author at Stanford University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsParallel ComputingFormal VerificationParallel ProgrammingVerificationProgram Analysis

Publications per year

1976–1995

27

Publications

27

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations

Engineering, Automated Reasoning, Proof Complexity +8

High-speed switch scheduling for local-area networks

Thomas E. Anderson, Susan Owicki, James B. Saxe et al. · ACM Transactions on Computer Systems · 1993 · 892 citations · Full text

Cluster Computing, Engineering, High Performance Computer Network +17

Proving Liveness Properties of Concurrent Programs

Susan Owicki, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1982 · 583 citations · Full text

Verifying properties of parallel programs

Susan Owicki, David Gries · Communications of the ACM · 1976 · 536 citations · Full text

Program Checking, Engineering, Verification +19

Competitive randomized algorithms for nonuniform problems

Anna R. Karlin, Mark S. Manasse, Lyle A. McGeoch et al. · Algorithmica · 1994 · 260 citations

Engineering, Performance Guarantee, Algorithmic Information Theory +6

1–5 of 27