CC 2017Partially redundant fence elimination for x86, ARM, and power processorsRobin Morisset, Francesco Zappa NardelliPublisher pagedblpBibTeXNo abstract available.