Concepedia

Concurrent Memory Safety

Concurrent Memory Safety is a formal framework that ensures memory correctness in programs executing multiple threads simultaneously by preventing data races, use-after-free, and other memory errors arising from unsynchronized access to shared memory locations.

8

Publications

798

Citations

22

Authors

12

Institutions

Publications per year

2017–2026

3

Parents

Publications

8

1–5 of 8

Authors

22

  1. MH
    Maurice Herlihy

    Brown University, United States

    2 publications · 81 citations

    2

    h-index

  2. EW
    Emmett Witchel

    The University of Texas at Austin, United States

    2 publications · 81 citations

    2

    h-index

  3. HE
    Hany E. Ramadan

    The University of Texas at Austin, United States

    2 publications · 81 citations

    2

    h-index

  4. ND
    Nicholas D. Matsakis

    ETH Zurich, Switzerland

    2 publications · 535 citations

    2

    h-index

  5. IR
    Indrajit Roy

    The University of Texas at Austin, United States

    2 publications · 81 citations

    2

    h-index

1–5 of 22

Institutions

12

  1. The University of Texas at Austin

    Austin, United States

    2 h-index

    6 publications

    243 citations

  2. Brown University

    Providence, United States

    2 h-index

    2 publications

    81 citations

  3. Purdue University West Lafayette

    West Lafayette, United States

    1 h-index

    3 publications

    102 citations

  4. University of Utah

    Salt Lake City, United States

    1 h-index

    4 publications

    420 citations

  5. University College London

    London, United Kingdom

    1 h-index

    1 publications

    25 citations

  6. Imperial College London

    London, United Kingdom

    1 h-index

    1 publications

    25 citations

  7. KU Leuven

    Leuven, Belgium

    1 h-index

    1 publications

    18 citations

  8. University of Manchester

    Manchester, United Kingdom

    1 h-index

    3 publications

    54 citations

1–8 of 12

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 25 citations

    1

    h-index

  2. ACM SIGAda Ada Letters

    1 publications · 257 citations

    1

    h-index

  3. ACM SIGPLAN Notices

    1 publications · 14 citations

    1

    h-index

  4. ACM Transactions on Software Engineering and Methodology

    TOSEM · 1 publications · 14 citations

1–4