PPoPP 2019
Sat 16 - Wed 20 February 2019 Washington, DC, United States
Mon 18 Feb 2019 14:00 - 14:25 at Salon 12/13 - Session 3: Transactional Memory Chair(s): Milind Chabbi

We define local transactional race freedom (LTRF), which provides a programmer model for software transactional memory. LTRF programs satisfy the SC-LTRF property, thus allowing the programmer to focus on sequential executions in which transactions execute atomically. Unlike previous results, SC-LTRF does not require global race freedom. We also provide a lower-level implementation model to reason about quiescence fences and validate numerous compiler optimizations.

Mon 18 Feb

14:00 - 15:40: Main Conference - Session 3: Transactional Memory at Salon 12/13
Chair(s): Milind ChabbiUber Technologies
PPoPP-2019-papers14:00 - 14:25
Brijesh DongolUniversity of Surrey, Radha JagadeesanDePaul University, James RielyDePaul University
PPoPP-2019-papers14:25 - 14:50
Ryan Yates, Michael ScottUniversity of Rochester
DOI Authorizer link File Attached
PPoPP-2019-papers14:50 - 15:15
Ricardo Jorge Duarte Filipe, Shady IssaINESC-ID, João BarretoINESC-ID, Paolo RomanoUniversity of Lisbon, Portugal
PPoPP-2019-papers15:15 - 15:40
Mohamed M. SaadVirginia Tech, Masoomeh Javidi KishiLehigh University, Shihao JingLehigh University, Sandeep HansIBM India Research Lab, Roberto PalmieriLehigh University