Many programming languages, such as Clojure, Scala, Haskell, or Java, provide support for different concurrency models.

In practice these models are often combined, however the semantics of the combinations are not always well defined, and this can invalidate some assumptions made by the programmer about the behavior of each individual model.

This poster presents Transactional Futures: a model that allows transactions and futures to be combined in a safe way, thereby allowing the parallelism within transactions to be exploited while still maintaining their serializability.
Original languageEnglish
Publication statusPublished - 7 Jul 2015
EventECOOP 2015: European Conference on Object-Oriented Programming - Prague, Prague, Czech Republic
Duration: 5 Jul 201510 Jul 2015


ConferenceECOOP 2015: European Conference on Object-Oriented Programming
Country/TerritoryCzech Republic


Dive into the research topics of 'Transactional Futures and Promises'. Together they form a unique fingerprint.

Cite this