Nir Hemed

According to our database, Nir Hemed authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Modular Verification of Concurrency-Aware Linearizability.

Nir Hemed, Noam Rinetzky, Viktor Vafeiadis

Proceedings of the Distributed Computing - 29th International Symposium, 2015

2014

Brief announcement: concurrency-aware linearizability.

Nir Hemed, Noam Rinetzky

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014