Recent Advances on Principles of Concurrent Data Structures
Exploring new static and dynamic techniques on proving linearizability.
Sergio Rajsbaum
Advertisement
Author Archives
A Linearizability-based Hierarchy for Concurrent Specifications
Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.
The special section on Latin America highlights the excellent level of research in computer science that flourishes in the Spanish- and Portuguese-speaking countries in the region.
A Perspective on Theoretical Computer Science in Latin America
The Latin American theoretical computer science community has made many noteworthy achievements.
A Tour of Dependable Computing Research in Latin America
A view of dependable computing research in Latin America.
Diverse examples depict how indistinguishability plays a central role in computer science.
Mastering Concurrent Computing through Sequential Thinking
A 50-year history of concurrency.
Shape the Future of Computing
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.
Get Involved