Hoare ist emeritierter Professor der Universität Oxford und leitender Forscher bei Microsoft Research in Cambridge, England. Er ist vor allem für die Entwicklung des Quicksort-Algorithmus sowie des Hoare-Kalküls bekannt.

Thema: "Fine-Grain Concurrency"
Datum: 27. November 2007, 17:00 Uhr s.t.
Ort: TU Wien, Hörsaal EI 9, Gußhausstraße 25, EG

Abstract: I have always been frightened by concurrent programs which share a common memory, with fine-grained interleaving of access to it. But with multi-core computers, that is the way of the future. Fortunately, the recent development of separation logic gives an elegant way of expressing ownership of storage locations and the transfer of ownership. I will introduce a semantics based on Petri nets, using separation logic to annotate their arcs and to prove absence of race conditions as well as assertional correctness.

Biographie: Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare) wurde 1980 mit dem "Nobelpreis" der Informatik, dem Turing Award der Association for Computing Machinery (ACM) ausgezeichnet.

Links:
<link http: www.informatik.tuwien.ac.at events forschung>

www.informatik.tuwien.ac.at/events/forschung/81, öffnet eine externe URL in einem neuen Fenster

<link http: research.microsoft.com>

research.microsoft.com/~thoare/, öffnet eine externe URL in einem neuen Fenster