Nir Shavit

Professor

1986 …2023

Research activity per year

Search results

  • 2023

    Learning to Correct Sloppy Annotations in Electron Microscopy Volumes

    Chen, M., Renuka, M. B., Mi, L., Lichtman, J., Shavit, N. & Meirovitch, Y., 2023, Proceedings - 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2023. IEEE Computer Society, p. 4273-4284 12 p. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops; vol. 2023-June).

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

  • X-Ray2EM: Uncertainty-Aware Cross-Modality Image Reconstruction from X-Ray to Electron Microscopy in Connectomics

    Li, Y., Meirovitch, Y., Kuan, A. T., Phelps, J. S., Pacureanu, A., Lee, W. C. A., Shavit, N. & Mi, L., 2023, 2023 IEEE International Symposium on Biomedical Imaging, ISBI 2023. IEEE Computer Society, (Proceedings - International Symposium on Biomedical Imaging; vol. 2023-April).

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

    Open Access
  • 2022

    CONNECTOME-CONSTRAINED LATENT VARIABLE MODELS OF WHOLE-BRAIN NEURAL ACTIVITY

    Mi, L., Xu, R., Prakhya, S., Lin, A., Shavit, N., Samuel, A. D. T. & Turaga, S. C., 2022.

    Research output: Contribution to conferencePaperpeer-review

  • Training-Free Uncertainty Estimation for Dense Regression: Sensitivity as a Surrogate

    Mi, L., Wang, H., Tian, Y., He, H. & Shavit, N. N., 30 Jun 2022, AAAI-22 Technical Tracks 9. Association for the Advancement of Artificial Intelligence, p. 10042-10050 9 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

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

    8 Scopus citations
  • 2021

    Connectomes across development reveal principles of brain maturation

    Witvliet, D., Mulcahy, B., Mitchell, J. K., Meirovitch, Y., Berger, D. R., Wu, Y., Liu, Y., Koh, W. X., Parvathala, R., Holmyard, D., Schalek, R. L., Shavit, N., Chisholm, A. D., Lichtman, J. W., Samuel, A. D. T. & Zhen, M., 12 Aug 2021, In: Nature. 596, 7871, p. 257-261 5 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    155 Scopus citations
  • 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

    Open Access
    24 Scopus citations
  • On the Predictability of Pruning Across Scales

    Rosenfeld, J., Frankle, J., Carbin, M. & Shavit, N., 2021, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. ML Research Press, p. 9075-9083 9 p. (Proceedings of Machine Learning Research; vol. 139).

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

    11 Scopus citations
  • 2020

    A complexity-based classification for multiprocessor synchronization

    Ellen, F., Gelashvili, R., Shavit, N. & Zhu, L., 1 Apr 2020, In: Distributed Computing. 33, 2, p. 125-144 20 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • A CONSTRUCTIVE PREDICTION OF THE GENERALIZATION ERROR ACROSS SCALES

    Rosenfeld, J. S., Rosenfeld, A., Belinkov, Y. & Shavit, N., 2020.

    Research output: Contribution to conferencePaperpeer-review

    41 Scopus citations
  • 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

    10 Scopus citations
  • 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

    Open Access
    2 Scopus citations
  • The Art of Multiprocessor Programming, Second Edition

    Herlihy, M., Shavit, N., Luchangco, V. & Spear, M., 1 Jan 2020, Elsevier. 553 p.

    Research output: Book/ReportBookpeer-review

    3 Scopus citations
  • 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

    Open Access
    22 Scopus citations
  • 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

    Open Access
    119 Scopus citations
  • Inherent limitations of hybrid transactional memory

    Alistarh, D., Kopinsky, J., Kuznetsov, P., Ravi, S. & Shavit, N., 1 Jun 2018, In: Distributed Computing. 31, 3, p. 167-185 19 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • ThreadScan: Automatic and scalable memory reclamation

    Alistarh, D., Leiserson, W., Matveev, A. & Shavit, N., Sep 2018, In: ACM Transactions on Parallel Computing. 4, 4, 18.

    Research output: Contribution to journalArticlepeer-review

    10 Scopus citations
  • 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
    9 Scopus citations
  • 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, In: ACM SIGPLAN Notices. 52, 8, p. 267-281 15 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    2 Scopus citations
  • 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

    9 Scopus citations
  • 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

    20 Scopus citations
  • 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
    14 Scopus citations
  • Are lock-free concurrent algorithms practically wait-free?

    Alistarh, D., Censor-Hillel, K. & Shavit, N., Sep 2016, In: Journal of the ACM. 63, 4, 31.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    6 Scopus citations
  • The computability of relaxed data structures: queues and stacks as examples

    Shavit, N. & Taubenfeld, G., 1 Oct 2016, In: Distributed Computing. 29, 5, p. 395-407 13 p.

    Research output: Contribution to journalArticlepeer-review

    12 Scopus citations
  • 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

    Open Access
    11 Scopus citations
  • 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

    3 Scopus citations
  • Lock cohorting: A general technique for designing NUMA locks

    Dice, D., Marathe, V. J. & Shavit, N., Jan 2015, In: ACM Transactions on Parallel Computing. 1, 2, a13.

    Research output: Contribution to journalArticlepeer-review

    45 Scopus citations
  • 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
    49 Scopus citations
  • Reduced hardware norec: A safe and scalable hybrid transactional memory

    Matveev, A. & Shavit, N., Apr 2015, In: ACM SIGPLAN Notices. 50, 4, p. 59-71 13 p.

    Research output: Contribution to journalArticlepeer-review

    18 Scopus citations
  • 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

    Open Access
    15 Scopus citations
  • 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

    6 Scopus citations
  • 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
    73 Scopus citations
  • 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
    28 Scopus citations
  • 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

    Open Access
    15 Scopus citations
  • 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

    Open Access
    5 Scopus citations
  • 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

  • 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

    4 Scopus citations
  • 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

  • Sparse sign-consistent Johnson-Lindenstrauss matrices: Compression with neuroscience-based constraints

    Allen-Zhu, Z., Gelashvili, R., Micali, S. & Shavit, N., 25 Nov 2014, In: Proceedings of the National Academy of Sciences of the United States of America. 111, 47, p. 16872-16876 5 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    20 Scopus citations
  • StackTrack: An automated transactional approach to concurrent memory reclamation

    Alistarh, D., Eugster, P., Herlihy, M., Matveev, A. & Shavit, N., 2014.

    Research output: Contribution to conferencePaperpeer-review

    44 Scopus citations
  • The big data challenges of connectomics

    Lichtman, J. W., Pfister, H. & Shavit, N., 28 Oct 2014, In: Nature Neuroscience. 17, 11, p. 1448-1454 7 p.

    Research output: Contribution to journalReview articlepeer-review

    Open Access
    165 Scopus citations
  • 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

    Open Access
  • 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

    Open Access
    26 Scopus citations
  • NUMA-aware reader-writer locks

    Calciu, I., Dice, D., Lev, Y., Luchangco, V., Marathe, V. J. & Shavit, N., Aug 2013, In: ACM SIGPLAN Notices. 48, 8, p. 157-166 10 p.

    Research output: Contribution to journalArticlepeer-review

    17 Scopus citations
  • 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

    56 Scopus citations
  • 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

    28 Scopus citations
  • 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

    Open Access
    21 Scopus citations
  • 2012

    Interrupting snapshots and the Java TM size method

    Afek, Y., Shavit, N. & Tzafrir, M., Jul 2012, In: Journal of Parallel and Distributed Computing. 72, 7, p. 880-888 9 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    3 Scopus citations
  • Lock cohorting: A general technique for designing NUMA locks

    Dice, D., Marathe, V. J. & Shavit, N., Aug 2012, In: ACM SIGPLAN Notices. 47, 8, p. 247-256 10 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    38 Scopus citations
  • 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

    46 Scopus citations
  • On the inherent sequentiality of concurrent objects

    Ellen, F., Hendler, D. & Shavit, N., 2012, In: SIAM Journal on Computing. 41, 3, p. 519-536 18 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    27 Scopus citations