Show simple item record

dc.contributor.authorKOUTAVAS, VASILEIOSen
dc.contributor.editorJay McCarthyen
dc.date.accessioned2014-01-28T10:08:53Z
dc.date.available2014-01-28T10:08:53Z
dc.date.created14-16 May 2013en
dc.date.issued2013en
dc.date.submitted2013en
dc.identifier.citationCarlo Spaccasassi, Vasileios Koutavas, Towards Efficient Abstractions for Concurrent Consensus, Lecture Notes in Computer Science, Trends in Functional Programming, Provo, Utah, USA, 14-16 May 2013, Jay McCarthy, 8322, Springer Berlin Heidelberg, 2013, 76 - 90en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/67906
dc.descriptionPUBLISHEDen
dc.descriptionProvo, Utah, USAen
dc.description.abstractConsensus is an often occurring problem in concurrent and distributed programming. We present a programming language with simple semantics and build-in support for consensus in the form of communicating transactions. We motivate the need for such a construct with a characteristic example of generalized consensus which can be naturally encoded in our language. We then focus on the challenges in achieving an implementation that can efficiently run such programs. We setup an architecture to evaluate different implementation alternatives and use it to experimentally evaluate runtime heuristics. This is the basis for a research project on realistic programming language support for consensusen
dc.description.sponsorshipMicrosoft Research (MRL 2011-039) SFI project SFI 06 IN.1 1898.en
dc.format.extent76en
dc.format.extent90en
dc.language.isoenen
dc.publisherSpringer Berlin Heidelbergen
dc.relation.ispartofseries8322en
dc.rightsYen
dc.subjectConcurrencyen
dc.subjectProgramming Languagesen
dc.titleTowards Efficient Abstractions for Concurrent Consensusen
dc.title.alternativeLecture Notes in Computer Scienceen
dc.title.alternativeTrends in Functional Programmingen
dc.typeConference Paperen
dc.contributor.sponsorScience Foundation Ireland (SFI)en
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/vkoutaven
dc.identifier.rssinternalid91017en
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-642-45340-3_5en
dc.rights.ecaccessrightsOpenAccess
dc.contributor.sponsorGrantNumberSFI 06 IN.1 1898en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record