14 citations · 48 across the 26 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.OS2021
Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models
Antonio Paolillo, Hernán Ponce-de-León, Thomas Haas +4
Developing concurrent software is challenging, especially if it has to run on modern architectures with Weak Memory Models (WMMs) such as ARMv8, Power, or RISC-V. For the sake of p…
cs.LO2021
Safety Verification of Parameterized Systems under Release-Acquire
Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer
We study the safety verification problem for parameterized systems under the release-acquire (RA) semantics. It has been shown that the problem is intractable for systems with unli…