Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States
Sun 5 Feb 2017 10:30 - 10:55 at 404 - Concurrency & Parallelism Chair(s): Sebastian Hack

We show how partial redundancy elimination (PRE) can be instantiated to perform \emph{provably correct}
fence elimination for multi-threaded programs running on top of the x86, ARM and IBM Power relaxed memory models.
We have implemented our algorithm in the backends of the \texttt{LLVM} compiler infrastructure. The optimisation does not induce an observable overhead at compile-time and can result in up-to 10% speedup on some benchmarks.

Sun 5 Feb

CC-2017-papers
10:30 - 12:10: Research Papers - Concurrency & Parallelism at 404
Chair(s): Sebastian HackSaarland University
CC-2017-papers148628700000010:30 - 10:55
Talk
Robin MorissetENS, France, Francesco Zappa NardelliInria, France
DOI
CC-2017-papers148628850000010:55 - 11:20
Talk
Swarnendu BiswasUniversity of Texas at Austin, Man CaoOhio State University, Minjia ZhangOhio State University, Michael BondOhio State University, Benjamin P. WoodWellesley College, USA
DOI
CC-2017-papers148629000000011:20 - 11:45
Talk
Jun ShirakoRice University, USA, Akihiro HayashiRice University, USA, Vivek SarkarRice University, USA
DOI
CC-2017-papers148629150000011:45 - 12:10
Talk
DOI