Journal Publications


2015

Lock Cohorting: A General Technique for Designing NUMA Locks. David Dice, Virendra J. Marathe and Nir Shavit. ACM Trans. Parallel Comput. Vol. 1, Issue 2, Article 13 (February 2015), 42 pages.


Conference Publications


2015

On the Optimal Space Complexity of Consensus for Anonymous Processes. Rati Gelashvili. In proceedings of the 29th International Symposium on Distributed Computing (DISC 2015), Tokyo, Japan, October 2015. Best Paper Award!

Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming. Alexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier. In proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP 2015), October 4-7, 2015, Monterey, California, USA.

Amalgamated Lock-Elision. Yehuda Afek, Alexander Matveev, Oscar R. Moll, Nir Shavit. In proceedings of the 29th International Symposium on Distributed Computing (DISC 2015), October 5-9, 2015, Tokyo, Japan.

ThreadScan: Automatic and Scalable Memory Reclamation. Dan Alistarh, William M. Leiserson, Alexander Matveev, Nir Shavit. In proceedings of the 27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2015), June 13-15, 2015, Portland, Oregon, USA.

Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory. Alexander Matveev, Nir Shavit. In proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015), March 14-18, 2015, Istanbul, Turkey.

The SprayList: A Scalable Relaxed Priority Queue. Dan Alistarh, Justin Kopinsky, Jerry Li, Nir Shavit. In proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2015), February 7-8, 2015, San Francisco, California. WINNER: Highest-Ranked Artifacts — First Place.


2014

On the Importance of Registers for Computability. Rati Gelashvili, Mohsen Ghaffari, Jerry Li, Nir Shavit. In proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS 2014), December 16-19, 2014, Cortina d’Amprezzo, Italy.

Brief Announcement: Persistent Unfairness Arising From Cache Residency Imbalance. David Dice, Virendra J. Marathe, Nir Shavit. In proceedings of the 26th Annual ACM Symposium on Parallelism in Algorithms and Architecture (SPAA 2014), Prague, Czech Republic.

The LevelArray: A Fast, Practical Long-Lived Renaming Algorithm. Dan Alistarh, Justin Kopinsky, Alexander Matveev, Nir Shavit. In proceedings of the 34th Annual International Conference on Distributed Computing Systems (ICDCS 2014), Madrid, Spain.

Balls-into-Leaves: Sub-logarithmic Renaming in Synchronous Message-Passing Systems. Dan Alistarh, Oksana Denysyuk, Luis Rodrigues and Nir Shavit. In proceedings of the 33rd Annual ACM Symposium on Principles of Distributed Computing (PoDC 2014), Paris, France.

Are Lock-Free Concurrent Algorithms Practically Wait-Free?. Dan Alistarh, Keren Censor-Hillel, Nir Shavit. In proceedings of the ACM 46th Annual Symposium on the Theory of Computing (SToC 2014), New York, New York, USA.

StackTrack: An Automated Transactional Approach to Concurrent Memory Reclamation. Dan Alistarh, Patrick Eugster, Maurice Herlihy, Alexander Matveev, Nir Shavit. In proceedings of EuroSys 2014, Amsterdam, The Netherlands.

Inherent Limitations of Hybrid Transactional Memory. Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit. In proceedings of the ( ) 2014, USA.

Dynamic Task Allocation in Asynchronous Shared Memory. Dan Alistarh, James Aspnes, Michael A. Bender, Rati Gelashvili, Seth Gilbert. In proceedings of the ACM-SIAM 25th Annual Symposium on Discrete Algorithms (SODA 2014), Portland, Oregon, USA.


2013

Amalgamated Transactions: Executing Long Transactions Mostly in Hardware. Yehuda Afek, Alexander Matveev, Nir Shavit. Compiler, Architecture and Tools Conference, Haifa, Israel, 2013.

The SkipTrie: low-depth concurrent search without rebalancing. Rotem Oshman, Nir Shavit. Proceedings of the ACM Annual Conference on the Principles of Distributed Computing (PODC 2013), Montreal, Canada.

Leaplist: lessons learned in designing tm-supported range queries . Hillel Avni, Nir Shavit, Adi Suissa. Proceedings of the ACM Annual Conference on the Principles of Distributed Computing (PODC 2013), Montreal, Canada.

Randomized Loose Renaming in O(log log n) Time. Dan Alistarh, James Aspnes, George Giakkoupis, Philipp Woelfel. Proceedings of the ACM Annual Conference on the Principles of Distributed Computing (PODC 2013), Montreal, Canada.

Reduced Hardware Transactions: A New Approach to Hybrid Transactional Memory. Alexander Matveev, Nir Shavit. Proceedings of the 25th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2013), Montreal, Canada.

NUMA-aware reader-writer locks. Irina Calciu, David Dice, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Nir Shavit. Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2013), Shenzhen, China.


2012

How to Allocate Tasks Asynchronously. Dan Alistarh, Michael A. Bender, Seth Gilbert, Rachid Guerraoui. Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FoCS 2012), New Brunswick, New Jersey, USA.

Pessimistic Software Lock-Elision. Yehuda Afek, Alexander Matveev, Nir Shavit. Proceedings of the 26th Annual International Symposium on Distributed Computing (DISC 2012), Salvador, Brazil.


2010

Implicit Privatization Using Private Transactions. Dave Dice, Alexander Matveev, Nir Shavit. TRANSACT 2010, Paris, France.

Dynamic Identification of Shared Transactional Locations. Alexander Matveev, Nir Shavit. Technical Report 2010, Tel-Aviv University, Israel.


Thesis Publications


2015

Parallel and Scalable Neural Image Segmentation for Connectome Graph Extraction. Quan Nguyen. Graduate Thesis – Master of Engineering in Electrical Engineering and Computer Science at MIT, Cambridge, MA (USA), June 2015.

Investigation of Hardware Transactional Memory. Andrew T. Nguyen. Graduate Thesis – Master of Engineering in Electrical Engineering and Computer Science at MIT, Cambridge, MA (USA), June 2015.