Susan Owicki
Susan Owicki | |
|---|---|
| Momogun | American |
| Sinikulan | Cornell University |
| Kalaja | Computer scientist Marriage and family therapist |
| Ointutunan montok | ACM Fellow |
| Sawo | Jack Owicki |
| Tanak | Two |
Ii Susan Owicki nopo nga songulun puru sains komputer, Association for Computing Machinery (ACM), isido nogi nga songulun mantad puru momuumuruan do Systers mel montok koonduan id suang ahal kokomoi kompiuto.[1] Ontok di kotimpuunan toun 2000, suminiliu isido do puru terapi pisasawaan om sompion di kilisin.
Pondidikan
[simbanai | simbanai toud]Nakaanu isido do PhD id sains kompiutor mantad Cornell University di toun 1975. Momiimisunud nopo dau nga ii David Gries. Id kapamsayan do ponoriukan, mino'odo isido do kokomoi Interference freedom, iso kaida montok popointalang do katapatan iso-iso ababayan, ii sumiliu duwou montok ponoriukan-ponoriukan ontok timpu dumontol. Duo kalatas kalaja naasil mantad ponoriukan diti.
Isido nopo nga songulun puru fakulti do Electrical Engineering om Computer Science Departments id Stanford University solinaid 10 toun. Ponoriukan nopo disido nga kokomoi ngawi do sistom teragih, linahas prestasi om sistem kotumbayaan montok pongindopuan elektronik. Suai ko iri, pinopotorbit nogi isido ogumu atikol kokomoi ponoriukan dau.[2]
Di toun 1994, noumboyo ii Owicki sabaagi ACM Fellow montok aasil kalaja disido, An Axiomatic Proof Technique for Parallel Programs I.[3]
- Susan Owicki; David Gries (1976). "An Axiomatic Proof Technique for Parallel Programs I"[4] (winner of the 1977 ACM Programming Systems and Languages Paper Award.[5])
- Forest Baskett; James H. Clark; John L. Hennessy; Susan Owicki; Brian Reid. "Research in VLSI Systems Design and Architecture". Stanford University. 1981.
- Susan S Owicki; Leslie Lamport. "Proving Liveness Properties of Concurrent Programs". ACM TOPLAS. (4:3): 455-495.
- Amy L. Lansky and Susan S. Owicki, "GEM: A Tool for Concurrency Specification and Verification,", in Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, ACM, Montreal, Quebec, Canada, 1983.
- Thomas E. Anderson; Susan S. Owicki; James B. Saxe; Charles P. Thacker (1993). "High-speed Switch Scheduling for Local-Area Networks". ACM TOCS. (11:4): 319-352.
- ↑ "Founding Systers » Anita Borg Institute for Women and Technology". Anitaborg.org. Linoyog ontok 2012-10-24.
- ↑ "CRA-W". Cra.org. Pinoopi mantad sand̠ad ontok 21 September 2013.
- ↑ "ACM: Fellows Award / Susan S Owicki". Fellows.acm.org. Linoyog ontok 2012-10-24.
- ↑ Owicki, Susan; Gries, David (25 June 1976). "An axiomatic proof technique for parallel programs I". Acta Informatica. Berlin: Springer (Germany). 6 (4): 319–340. doi:10.1007/BF00268134. S2CID 206773583.
- ↑ "ACM Programming Systems and Languages Paper Award". ACM: Association for Computing Machinery. 1977. Linoyog ontok 2022-07-07.