TU Wien Informatics

20 Years

Fine-Grain Concurrency

  • 2007-11-27
  • Research
  • News

Informatik-Kolloquium: Sir Tony Hoare, Erfinder des Quicksort-Algorithmus und Turing Award Preisträger zu Gast an der Fakultät für Informatik.

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.

About 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.

Kontaktperson an der TU Wien

Univ.-Prof. Dr. Jens Knoop | E: knoop@complang.tuwien.ac.at | W: www.complang.tuwien.ac.at/knoop

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

Speakers

  • Sir Tony Hoare, Microsoft Research Cambridge and Emeritus Professor of Computing at Oxford University

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!