Concepedia

Nevin Heintze

NH

Statistics

Publications

30

Citations

2.5K

H-Index

20

Active since

1987

Affiliations

Carnegie Mellon University(Current)

AT&T (United States)

Alcatel Lucent (Germany)

École Nationale Supérieure des Mines de Paris

Nokia (United States)

Nevin Heintze is an author at Carnegie Mellon University specializing in computer science, computing, and data-flow analysis.

Publications per year

1987–2016

30

Publications

30

A core calculus of dependency

Martı́n Abadi, Anindya Banerjee, Nevin Heintze et al. · 1999 · 415 citations

, , +15

The SLam calculus

Nevin Heintze, Jon G. Riecke · 1998 · 410 citations

, , +10

Ultra-fast aliasing analysis using CLA

Nevin Heintze, Olivier Tardieu · 2001 · 231 citations

, , +15

Set-based analysis of ML programs

Nevin Heintze · 1994 · 209 citations

, , +9

Demand-driven pointer analysis

Nevin Heintze, Olivier Tardieu · 2001 · 151 citations

, , +10

1–5 of 30