Armando Castañeda – Communications of the ACM

Latin America Regional Special Section Jul 11 2024

Exploring new static and dynamic techniques on proving linearizability.

Research and Advances Jan 1 2023

Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.