Institute of Computer Languages
Compilers and Languages Group

Talks 2007 - Tony Hoare

The Compilers and Languages Group invites you to a talk given by

Sir Charles Antony Richard (Tony) Hoare

Emeritus Professor of Computing at Oxford University Microsoft Research Cambridge, UK Erfinder des Quicksort-Algorithmus und Turing Award Preisträger


Fine-Grain Concurrency

Date: Tuesday, November 27th, 2007
Time: 17:00 (s.t.)
Location: TU Wien, Elektrotechnik, EI 9 Hlawka-Hörsaal, Gußhausstraße 25-29


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.

About Sir Charles Antony Richard (Tony) Hoare:

Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare) ist emeritierter Professor der Universität Oxford und leitender Forscher bei Microsoft Research in Cambridge, England. 1980 wurde er mit dem Nobelpreis der Informatik, dem Turing Award der Association for Computing Machinery (ACM) ausgezeichnet.

T. Hoare ist vor allem für die Entwicklung des Quicksort-Algorithmus sowie des Hoare-Kalküls bekannt.

Im Anschluss lädt die Fakultät für Informatik zur informellen Diskussion bei Snacks und Erfrischungen.

   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)