Susan Owicki
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Susan Owicki
The Owicki-Gries method for parallel programs: prove each thread against its own specification, then discharge the interference-freedom obligation that neither invalidates the other's assertions. The corpus holds the 1975 Cornell technical report and the two 1976 papers drawn from it, which arrived under two spellings, now joined -- the split separated the thesis from the papers. The report's copy has an empty text layer over 210 pages, so it is invisible to full-text search.
An axiomatic proof technique for parallel programs I
Susan Owicki and others (1976) · Acta Informatica · Springer
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki and others (1976) · Communications of the ACM · Association for Computing Machinery (ACM)