Concepedia

Safe Memory Allocation

Safe Memory Allocation is a memory management framework that ensures the correctness and safety of dynamic memory operations by preventing common vulnerabilities such as buffer overflows, use-after-free, and double-free errors through rigorous compile-time or run-time enforcement of memory access and lifetime guarantees.

11

Publications

497

Citations

33

Authors

13

Institutions

Publications per year

2017–2026

5

Parents

Publications

11

Memory management with explicit regions

David Gay, Alex Aiken · 1998 · 213 citations

, , +13

A direct approach to control-flow sensitive region-based memory management

Fritz Henglein, Henning Makholm, Henning Niss · 2001 · 62 citations

, , +15

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management

2003 · 56 citations

, , +13

Performance Evaluation of Real-Time ROS2 Robotic Control in a Time-Synchronized Distributed Network

Lennart Puck, Philip Keller, Tristan Schnell et al. · 2021 · 33 citations

, , +17

Keeping Safe Rust Safe with Galeed

Elijah Rivera, Samuel Mergendahl, Howard Shrobe et al. · Annual Computer Security Applications Conference · 2021 · 32 citations · Full text

, , +11

1–5 of 11

Authors

33

  1. DG
    David Gay

    University of California, Berkeley, United States

    2 publications · 230 citations

    2

    h-index

  2. AA
    Alex Aiken

    Stanford University, United States

    2 publications · 230 citations

    2

    h-index

  3. AT
    Atanas Tanev

    FZI Research Center for Information Technology, Germany

    1 publications · 33 citations

    1

    h-index

  4. JK
    Jeehoon Kang

    Seoul National University, South Korea

    1 publications · 25 citations

    1

    h-index

  5. AR
    Arne Roennau

    FZI Research Center for Information Technology, Germany

    1 publications · 33 citations

    1

    h-index

1–5 of 33

Institutions

13

  1. University of California, Berkeley

    Berkeley, United States

    2 h-index

    4 publications

    460 citations

  2. Gyeongsang National University

    Jinju-si, South Korea

    1 h-index

    1 publications

    19 citations

  3. IT University of Copenhagen

    Copenhagen, Denmark

    1 h-index

    1 publications

    62 citations

  4. Korea Advanced Institute of Science and Technology

    Daejeon, South Korea

    1 h-index

    2 publications

    50 citations

  5. Universidad Complutense de Madrid

    Madrid, Spain

    1 h-index

    3 publications

    60 citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    1 h-index

    5 publications

    50 citations

  7. Cornell University

    Ithaca, United States

    1 h-index

    2 publications

    20 citations

  8. University of Maryland, College Park

    College Park, United States

    1 h-index

    1 publications

    10 citations

1–8 of 13

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 10 citations

    1

    h-index

  2. 1

    h-index

  3. Annual Computer Security Applications Conference

    Conference · 1 publications · 32 citations

    1

    h-index

  4. ACM SIGPLAN Notices

    1 publications · 17 citations

    1

    h-index

1–4