Write a Blog >>
PPoPP 2021
Sat 27 February - Wed 3 March 2021

This program is tentative and subject to change.

Mon 1 Mar 2021 10:15 - 10:30 - Session 1. Concurrency Chair(s): Konstantinos (Kostis) Sagonas

This paper investigates the problem of integrating two powerful abstractions for concurrent programming, namely futures and transactional memory. Our focus is on specifying the semantics of execution of “transactional futures”, i.e., futures that execute as atomic transactions and that are spawned/evaluated by other (plain) transactions or transactional futures. We show that, due to the ability of futures to generate parallel computations with complex dependencies, there exist several plausible (i.e., intuitive) alternatives for defining the isolation and atomicity semantics of transactional futures. The alternative semantics we propose explore the different trade-offs between ease of use and efficiency. We have implemented the proposed semantics by introducing a graph-based software transactional memory algorithm, which we integrated with a state of the art JAVA-based Software Transactional Memory(STM). We quantify the performance trade-offs associated with the different semantics using an extensive experimental study encompassing a wide range of diverse workloads.

This program is tentative and subject to change.

Mon 1 Mar
Times are displayed in time zone: Eastern Time (US & Canada) change

10:00 - 11:00: Session 1. ConcurrencyMain Conference
Chair(s): Konstantinos (Kostis) SagonasUppsala University and National Technical University of Athens
10:00 - 10:15
Talk
Efficient Algorithms for Persistent Transactional Memory
Main Conference
Pedro RamalheteCisco Systems, Andreia CorreiaUniversity of Neuchatel, Switzerland, Pascal FelberUniversity of Neuchâtel
10:15 - 10:30
Talk
Investigating the Semantics of Futures in Transactional Memory Systems
Main Conference
Jingna ZengKTH Royal Institute of Technology, Sweden / IST, ULisboa, Shady IssaINESC-ID, Paolo RomanoINESC-ID / IST, ULisboa, Luis RodriguesINESC-ID, IST, ULisboa, Seif HaridiKTH Royal Institute of Technology, Sweden
10:30 - 10:45
Talk
Constant-Time Snapshots with Applications to Concurrent Data Structures
Main Conference
Yuanhao WeiCarnegie Mellon University, Naama Ben-DavidVMware Research, Guy E. BlellochCarnegie Mellon University, Panagiota FatourouFORTH ICS and University of Crete, Greece, Eric RuppertYork University, Canada, Yihan SunUniversity of California, Riverside
10:45 - 11:00
Talk
Reasoning About Recursive Tree Traversals
Main Conference
Yanjun WangPurdue University, Jinwei LiuBeijing Jiaotong University, Dalin ZhangBeijing Jiaotong University, Xiaokang QiuPurdue University
Hide past events