Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 14:30 - 15:00 at Sala X - Session 5 Chair(s): Alberto Pettorossi

Futures and promises are a high-level concurrency construct to aid the user in writing scalable and correct asynchronous programs. We introduce a simple core language based on which we can derive a rich set of future and promise features. We discuss ways to implement the core features via shared-state concurrency making either use of Software Transactional Memory, an elementary lock-based primitive, or an atomic compare-and-swap operation. The approach has been fully implemented in Haskell and Scala. For both languages, we provide empirical evidence of the effectiveness of our method. We consider program transformations in the context of futures and promises and observe potential problems in existing Scala-based libraries.

Tue 15 Jan

pepm-2019-papers
14:00 - 15:30: PEPM 2019 - Session 5 at Sala X
Chair(s): Alberto PettorossiUniversity of Rome Tor Vergata, Italy
pepm-2019-papers14:00 - 14:30
Talk
Kenichi AsaiOchanomizu University
DOI File Attached
pepm-2019-papers14:30 - 15:00
Talk
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany
DOI File Attached
pepm-2019-papers15:00 - 15:28
Talk
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
DOI Pre-print
pepm-2019-papers15:28 - 15:30
Poster
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany