Heap Modeling is a symbolic execution technique that formally represents and manipulates dynamically allocated memory structures to enable precise reasoning about heap-dependent program behaviors during program analysis.
191
Publications
9.5K
Citations
391
Authors
154
Institutions
Publications per year
2017–2026
21
Parents
Publications
191
Region-based memory management in cyclone
Dan Grossman, Greg Morrisett, Trevor Jim et al. · 2002 · 407 citations
Emery D. Berger, Benjamin G. Zorn · ACM SIGPLAN Notices · 2006 · 405 citations
A natural semantics for lazy evaluation
John Launchbury · 1993 · 377 citations
Emery D. Berger, Benjamin G. Zorn · 2006 · 272 citations
1–5 of 191
Authors
391
- MS
10
h-index
- TR
8
h-index
- RW
7
h-index
- JE
6
h-index
- RJ
5
h-index
1–5 of 391
Institutions
154
Tel Aviv University
Tel Aviv, Israel
11 h-index
18 publications
1K citations
University of Wisconsin–Madison
Madison, United States
9 h-index
10 publications
383 citations
Microsoft (United States)
Redmond, United States
9 h-index
11 publications
1.1K citations
Princeton University
Princeton, United States
9 h-index
17 publications
697 citations
Carnegie Mellon University
Pittsburgh, United States
8 h-index
17 publications
511 citations
Saarland University
Saarbrücken, Germany
7 h-index
9 publications
448 citations
University of Massachusetts Amherst
Amherst Center, United States
7 h-index
12 publications
1.3K citations
Massachusetts Institute of Technology
Cambridge, United States
6 h-index
14 publications
549 citations
1–8 of 154
Venues
- ACM SIGPLAN Notices
24 publications · 1.4K citations
16
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 4 publications · 79 citations
4
h-index
- Minerals Engineering
3 publications · 62 citations
3
h-index
- Theoretical Computer Science
2 publications · 43 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 33 citations
2
h-index
1–5