Nir Shavit

Professor

1986 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    HDMapGen: A Hierarchical Graph Generative Model of High Definition Maps

    Mi, L., Zhao, H., Nash, C., Jin, X., Gao, J., Sun, C., Schmid, C., Shavit, N., Chai, Y. & Anguelov, D., 2021, Proceedings - 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2021. IEEE Computer Society, p. 4225-4234 10 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2020

    Inducing and exploiting activation sparsity for fast neural network inference

    Kurtz, M., Kopinsky, J., Gelashvili, R., Matveev, A., Carr, J., Goin, M., Leiserson, W., Moore, S., Nell, B., Shavit, N. & Alistarh, D., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 5489-5499 11 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-8).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Learning Guided Electron Microscopy with Active Acquisition

    Mi, L., Wang, H., Meirovitch, Y., Schalek, R., Turaga, S. C., Lichtman, J. W., Samuel, A. D. T. & Shavit, N., 2020, Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 - 23rd International Conference, Proceedings. Martel, A. L., Abolmaesumi, P., Stoyanov, D., Mateus, D., Zuluaga, M. A., Zhou, S. K., Racoceanu, D. & Joskowicz, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 77-87 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12265 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2019

    Cross-classification clustering: An efficient multi-object tracking technique for 3-D instance segmentation in connectomics

    Meirovitch, Y., Mi, L., Saribekyan, H., Matveev, A., Rolnick, D. & Shavit, N., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 8417-8427 11 p. 8953569. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2019-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2018

    Generative Compression

    Santurkar, S., Budden, D. & Shavit, N., 5 Sep 2018, 2018 Picture Coding Symposium, PCS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 258-262 5 p. 8456298. (2018 Picture Coding Symposium, PCS 2018 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2017

    A multicore path to connectomics-on-demand

    Matveev, A., Meirovitch, Y., Saribekyan, H., Jakubiuk, W., Kaler, T., Odor, G., Budden, D., Zlateski, A. & Shavit, N., 26 Jan 2017, PPoPP 2017 - Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 267-281 15 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Deep tensor convolution on multicores

    Budden, D., Matveev, A., Santurkar, S., Chaudhuri, S. R. & Shavit, N., 2017, 34th International Conference on Machine Learning, ICML 2017. International Machine Learning Society (IMLS), p. 1007-1017 11 p. (34th International Conference on Machine Learning, ICML 2017; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Forkscan: Conservative memory reclamation for modern operating systems

    Alistarh, D., Leiserson, W., Matveev, A. & Shavit, N., 23 Apr 2017, Proceedings of the 12th European Conference on Computer Systems, EuroSys 2017. Association for Computing Machinery, Inc, p. 483-498 16 p. (Proceedings of the 12th European Conference on Computer Systems, EuroSys 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2016

    A complexity-based hierarchy for multiprocessor synchronization: [Extended Abstract]

    Ellen, F., Gelashvili, R., Shavit, N. & Zhu, L., 25 Jul 2016, PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 289-298 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 25-28-July-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2015

    Amalgamated lock-elision

    Afek, Y., Matveev, A., Moll, O. R. & Shavit, N., 2015, Distributed Computing - 29th International Symposium, DISC 2015, Proceedings. Moses, Y. (ed.). Springer Verlag, p. 309-324 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9363).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Inherent limitations of hybrid transactional memory

    Alistarh, D., Kopinsky, J., Kuznetsov, P., Ravi, S. & Shavit, N., 2015, Distributed Computing - 29th International Symposium, DISC 2015, Proceedings. Moses, Y. (ed.). Springer Verlag, p. 185-199 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9363).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Read-log-update: A lightweight synchronization mechanism for concurrent programming

    Matveev, A., Shavit, N., Felber, P. & Marlier, P., 4 Oct 2015, SOSP 2015 - Proceedings of the 25th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 168-183 16 p. (SOSP 2015 - Proceedings of the 25th ACM Symposium on Operating Systems Principles).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Reduced hardware NOrec: A safe and scalable hybrid transactional memory

    Matveev, A. & Shavit, N., 14 Mar 2015, ASPLOS 2015 - 20th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 59-71 13 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The computability of relaxed data structures: Queues and stacks as examples

    Shavit, N. & Taubenfeld, G., 2015, Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Post-Proceedings. Scheideler, C. (ed.). Springer Verlag, p. 414-428 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9439).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The SprayList: A scalable relaxed priority queue

    Alistarh, D., Kopinsky, J., Li, J. & Shavit, N., 24 Jan 2015, 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. Association for Computing Machinery, p. 11-20 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • ThreadScan: Automatic and scalable memory reclamation

    Alistarh, D., Matveev, A., Leiserson, W. M. & Shavit, N., 13 Jun 2015, SPAA 2015 - Proceedings of the 27th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 123-132 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures; vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2014

    Are lock-free concurrent algorithms practically wait-free?

    Alistarh, D., Censor-Hillel, K. & Shavit, N., 2014, STOC 2014 - Proceedings of the 2014 ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 714-723 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems

    Alistarh, D., Denysyuk, O., Rodrigues, L. & Shavit, N., 2014, PODC 2014 - Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 232-241 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Brief announcement: Persistent unfairness arising from cache residency imbalance

    Dice, D., Marathe, V. J. & Shavit, N., 2014, SPAA 2014 - Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 82-83 2 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Brief announcement: Are lock-free concurrent algorithms practically wait-free?

    Alistarh, D., Censor-Hille, K. & Shavit, N., 2014, PODC 2014 - Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 50-52 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On the importance of registers for computability

    Gelashvili, R., Ghaffari, M., Li, J. & Shavit, N., 2014, Principles of Distributed Systems - 18th International Conference, OPODIS 2014, Proceedings. Aguilera, M. K., Querzoni, L. & Shapiro, M. (eds.). Springer Verlag, p. 171-185 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8878).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The levelarray: A fast, practical long-lived renaming algorithm

    Alistarh, D., Kopinsky, J., Matveev, A. & Shavit, N., 29 Aug 2014, Proceedings - International Conference on Distributed Computing Systems. Institute of Electrical and Electronics Engineers Inc., p. 348-357 10 p. 6888911. (Proceedings - International Conference on Distributed Computing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2013

    Leaplist: Lessons learned in designing TM-supported range queries

    Avni, H., Shavit, N. & Suissa, A., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 299-308 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • NUMA-aware reader-writer locks

    Calciu, I., Dice, D., Lev, Y., Luchangco, V., Marathe, V. J. & Shavit, N., 2013, PPoPP 2013 - Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 157-166 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Reduced hardware transactions: A new approach to hybrid transactional memory

    Matveev, A. & Shavit, N., 2013, SPAA 2013 - Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures. p. 11-22 12 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The SkipTrie: Low-depth concurrent search without rebalancing

    Oshman, R. & Shavit, N., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 23-32 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2012

    Lock cohorting: A general technique for designing NUMA locks

    Dice, D., Marathe, V. J. & Shavit, N., 2012, PPoPP'12 - Proceedings of the 2012 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 247-256 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Pessimistic software lock-elision

    Afek, Y., Matveev, A. & Shavit, N., 2012, Distributed Computing - 26th International Symposium, DISC 2012, Proceedings. p. 297-311 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7611 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2011

    Flat-combining NUMA locks

    Dice, D., Marathe, V. J. & Shavit, N., 2011, SPAA'11 - Proceedings of the 23rd Annual Symposium on Parallelism in Algorithms and Architectures. p. 65-74 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On the nature of progress

    Herlihy, M. & Shavit, N., 2011, Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Proceedings. p. 313-328 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7109 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Towards consistency oblivious programming

    Afek, Y., Avni, H. & Shavit, N., 2011, Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Proceedings. p. 65-79 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7109 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2010

    Efficient lock free privatization

    Afek, Y., Avni, H., Dice, D. & Shavit, N., 2010, Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings. p. 333-347 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6490 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Flat combining and the synchronization-parallelism tradeoff

    Hendler, D., Incze, I., Shavit, N. & Tzafrir, M., 2010, SPAA'10 - Proceedings of the 22nd Annual Symposium on Parallelism in Algorithms and Architectures. p. 355-364 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Scalable flat-combining based synchronous queues

    Hendler, D., Incze, I., Shavit, N. & Tzafrir, M., 2010, Distributed Computing - 24th International Symposium, DISC 2010, Proceedings. p. 79-93 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6343 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Scalable producer-consumer pools based on elimination-diffraction trees

    Afek, Y., Korland, G., Natanzon, M. & Shavit, N., 2010, Euro-Par 2010 Parallel Processing - 16th International Euro-Par Conference, Proceedings. PART 2 ed. p. 151-162 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6272 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • TLRW: Return of the read-write lock

    Dice, D. & Shavit, N., 2010, SPAA'10 - Proceedings of the 22nd Annual Symposium on Parallelism in Algorithms and Architectures. p. 284-293 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Transactional mutex locks

    Dalessandro, L., Dice, D., Scott, M., Shavit, N. & Spear, M., 2010, Euro-Par 2010 Parallel Processing - 16th International Euro-Par Conference, Proceedings. PART 2 ed. p. 2-13 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6272 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2009

    Interrupting snapshots and the Java™ size method

    Afek, Y., Shavit, N. & Tzafrir, M., 2009, Distributed Computing - 23rd International Symposium, DISC 2009, Proceedings. p. 78-92 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5805 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2008

    Hopscotch hashing

    Herlihy, M., Shavit, N. & Tzafrir, M., 2008, Distributed Computing - 22nd International Symposium, DISC 2008, Proceedings. p. 350-364 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5218 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Maintaining consistent transactional states without a global clock

    Avni, H. & Shavit, N., 2008, Structural Information and Communication Complexity - 15th International Colloquium, SIROCCO 2008, Proceedings. p. 131-140 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5058 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2007

    A simple optimistic skiplist algorithm

    Herlihy, M., Lev, Y., Luchangco, V. & Shavit, N., 2007, Structural Information and Communication Complexity - 14th International Colloquium, SIROCCO 2007, Proceedings. Springer Verlag, p. 124-138 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4474 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The baskets queue

    Hoffman, M., Shalev, O. & Shavit, N., 2007, Principles of Distributed Systems - 11th International Conference, OPODIS 2007, Proceedings. Springer Verlag, p. 401-414 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4878 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Understanding tradeoffs in software transactional memory

    Dice, D. & Shavit, N., 2007, International Symposium on Code Generation and Optimization, CGO 2007. p. 21-33 13 p. 4145102. (International Symposium on Code Generation and Optimization, CGO 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2006

    A hierarchical CLH queue lock

    Luchangco, V., Nussbaum, D. & Shavit, N., 2006, Euro-Par 2006 Parallel Processing - 12th International Euro-Par Conference, Proceedings. Springer Verlag, p. 801-810 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4128 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A lazy concurrent list-based set algorithm

    Heller, S., Herlihy, M., Luchangco, V., Moir, M., Scherer, W. N. & Shavit, N., 2006, Principles of Distributed Systems - 9th International Conference, OPODIS 2005, Revised Selected Papers. p. 3-16 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3974 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Composite abortable locks

    Marathe, V. J., Moir, M. & Shavit, N., 2006, 20th International Parallel and Distributed Processing Symposium, IPDPS 2006. IEEE Computer Society, 1639367. (20th International Parallel and Distributed Processing Symposium, IPDPS 2006; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Predictive log-synchronization

    Shalev, O. & Shavit, N., 2006, Proceedings of the 2006 EuroSys Conference. p. 305-315 11 p. 1217965. (Proceedings of the 2006 EuroSys Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Transactional locking II

    Dice, D., Shalev, O. & Shavit, N., 2006, Distributed Computing - 20th International Symposium, DISC 2006, Proceedings. Springer Verlag, p. 194-208 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4167 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2005

    Linear lower bounds on real-world implementations of concurrent objects

    Fich, F. E., Hendler, D. & Shavit, N., 2005, Proceedings - 46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005. p. 165-173 9 p. 1530711. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Obstruction-Free algorithms can be practically Wait-Free

    Fich, F. E., Luchangco, V., Moir, M. & Shavit, N., 2005, Distributed Computing - 19th International Conference, DISC 2005, Proceedings. p. 78-92 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3724 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review