-
Susan Owicki is a
computer scientist, ****ociation for
Computing Machinery (ACM) Fellow, and one of the
founding members of the
Systers mailing list for...
- PhD
thesis (and
papers arising from it )
under advisor David Gries,
Susan Owicki extended this work to
apply to
concurrent programs.
Concurrent programming...
-
monitoring the
activity of
energy metabolism". Organ-on-a-chip
McConnel HM,
Owicki JC,
Parce JW,
Miller DL,
Baxter GT, Wada HG,
Pitchford S (1992). "The Cytosensor...
-
distributed system : an
example of a loosely-coupled
distributed service (1984)
Doctoral advisors Susan Owicki & Hugh
Lauer Doctoral students Lorenzo Alvisi...
-
encountered Pnueli's LTL
during a 1978
seminar at
Stanford organized by
Susan Owicki.
According to Lamport, "I was sure that
temporal logic was some kind of...
- to Programming: a
structured approach,
Edition 1. Cambridge: Winthrop.
Owicki, S.; Gries, D. (1976). "Verifying
properties of
parallel programs: an axiomatic...
- – Tcl
programming language Mark
Overmars –
video game
programming Susan Owicki –
interference freedom Larry Page – co-founder of
Google Sankar Pal Paritosh...
-
Commenting on the
early classical work on
interference freedom by
Susan Owicki and
David Gries, O'Hearn says that
explicit checking for non-interference...
- org/citation.cfm?id=335385 A. R. Karlin, M. S. Man****e, L. A. McGeoch, and S.
Owicki.
Competitive randomized algorithms for non-uniform problems. In Proceedings...
-
Retrieved May 1, 2011.
Forest Baskett;
James H. Clark; John Hennessy;
Susan Owicki;
Brian Reid (March 1981).
Research in VLSI
Systems Design and Architecture...