Date: 14 July 2014 Time: 11:10 - 12:00
Location: Seminar Room 1, FORTH, Heraklion, Crete
Host: Prof. Manolis Katevenis
This talk will present Communicating Transactions, a construct for simplifying the programming of concurrent consensus scenarios in multicore applications. We will see the basic concepts of the construct and how these give an effective programming language abstraction. We will discuss the interplay between theory and programming language design, as well as the challenges in effectively implementing communicating transactions and our approach to overcoming them.
Vasileios Koutavas is working in the School of Computer Science and Statistics at Trinity College Dublin as an Assistant Professor since the beginning of 2014, and as a Research Fellow during the previous five years. He has received an MSc and a PhD in Computer Science from Northeastern University and a B.Eng in Electrical and Computer Engineering from the National Technical University of Athens. His research focuses on the areas of Programming Languages and Concurrency and in particular on programming language semantics, programming constructs for concurrency, and concurrency theory.