Concepedia

Heap Allocation

Heap Allocation is a memory management technique within runtime systems that dynamically assigns program objects to a shared region of memory known as the heap, distinguishing itself from static or stack-based allocation by enabling variable-sized and arbitrarily long-lived data storage during program execution.

117

Publications

5.2K

Citations

263

Authors

106

Institutions

Publications per year

2017–2026

9

Parents

Publications

117

Permission accounting in separation logic

Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn et al. · 2005 · 370 citations

, , +17

Static prediction of heap space usage for first-order functional programs

Martin Hofmann, Steffen Jost · 2003 · 297 citations

, , +16

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

Rakesh Ghiya, Laurie Hendren · 1996 · 284 citations

, , +15

PS-algol

Malcolm Atkinson, Ken Chisholm, Paul Cockshott · ACM SIGPLAN Notices · 1982 · 163 citations

, , +14

Heap data allocation to scratch-pad memory in embedded systems

Ángel Manuel Gamaza Domínguez, Sumesh Udayakumaran, Rajeev Barua · Journal of Embedded Computing · 2005 · 156 citations · Full text

, , +17

1–5 of 117

Authors

263

  1. MS
    Mooly Sagiv

    Tel Aviv University, Israel

    5 publications · 227 citations

    5

    h-index

  2. OD
    Olivier Danvy

    Aarhus University, Denmark

    4 publications · 118 citations

    4

    h-index

  3. BG
    Benjamin G. Zorn

    Microsoft (United States), United States

    4 publications · 212 citations

    4

    h-index

  4. RJ
    Richard Jones

    University of Kent, United Kingdom

    3 publications · 45 citations

    3

    h-index

  5. JE
    J. Eliot B. Moss

    University of Massachusetts Amherst, United States

    3 publications · 136 citations

    3

    h-index

1–5 of 263

Institutions

106

  1. Microsoft (United States)

    Redmond, United States

    9 h-index

    11 publications

    325 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    11 publications

    453 citations

  3. Tel Aviv University

    Tel Aviv, Israel

    5 h-index

    10 publications

    454 citations

  4. University of Wisconsin–Madison

    Madison, United States

    4 h-index

    6 publications

    176 citations

  5. University of Glasgow

    Glasgow, United Kingdom

    4 h-index

    9 publications

    428 citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    4 publications

    142 citations

  7. University of California, Santa Barbara

    Santa Barbara, United States

    3 h-index

    8 publications

    320 citations

  8. Cornell University

    Ithaca, United States

    3 h-index

    5 publications

    227 citations

1–8 of 106

Venues

  1. ACM SIGPLAN Notices

    17 publications · 695 citations

    13

    h-index

  2. Journal of Embedded Computing

    2 publications · 172 citations

    2

    h-index

  3. ACM SIGARCH Computer Architecture News

    2 publications · 36 citations

    2

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 2 publications · 51 citations

    2

    h-index

  5. Minds at UW (University of Wisconsin)

    Repository · 2 publications · 43 citations

    2

    h-index

1–5