Sir Tony Hoare, Erfinder des QuickSort Algorithmus und des Hoare-Kalkuels sowie Turing Award Preistraeger, haelt einen Vortrag an der TU Wien:
Titel: Fine-Grain Concurrency
“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.”
Ort & Zeit:
- DATUM: Dienstag, 27. November 2007
- ZEIT: 17:00 Uhr s.t.
- ORT: TU Wien, Neues Elektrotechnisches Institutsgebäude,
Hörsaal EI 9, Gußhausstraße 25, EG