| 2004 | EMSOFT | Network processors: a progress report. | Nevin Heintze |
| 2003 | CASES | AES and the cryptonite crypto processor. | Dino Oliva, Rainer Buchty, Nevin Heintze |
| 2002 | DATE | Communication Mechanisms for Parallel DSP Systems on a Chip. | Joseph Williams, Nevin Heintze, Bryan D. Ackland |
| 2002 | PEPM | Aliasing analysis for a million lines of C. | Nevin Heintze |
| 2001 | PLDI | Demand-Driven Pointer Analysis. | Nevin Heintze, Olivier Tardieu |
| 2001 | PLDI | Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. | Nevin Heintze, Olivier Tardieu |
| 2000 | APLAS | Conditional Analysis and Verification. | Nevin Heintze, Joxan Jaffar, Razvan Voicu |
| 2000 | POPL | A Framework for Combining Analysis and Verification. | Nevin Heintze, Joxan Jaffar, Razvan Voicu |
| 1999 | LICS | Region Analysis and the Polymorphic Lambda Calculus. | Anindya Banerjee, Nevin Heintze, Jon G. Riecke |
| 1999 | POPL | A Core Calculus of Dependency. | Martn Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke |
| 1998 | POPL | The SLam Calculus: Programming with Secrecy and Integrity. | Nevin Heintze, Jon G. Riecke |
| 1997 | ICFP | On the Complexity of Set-Based Analysis. | Nevin Heintze, David A. McAllester |
| 1997 | LICS | On the Cubic Bottleneck in Subtyping and Flow Analysis. | Nevin Heintze, David A. McAllester |
| 1997 | PLDI | Linear-time Subtransitive Control Flow Analysis. | Nevin Heintze, David A. McAllester |
| 1995 | ICLP | A Generic Algorithm for CLP Analysis. | Nevin Heintze, Joxan Jaffar |
| 1995 | SAS | Control-Flow Analysis and Type Systems | Nevin Heintze |
| 1994 | SP | A model for secure protocols and their compositions. | Nevin Heintze, J. Doug Tygar |
| 1992 | ICLP | Practical Aspects of Set Based Analysis. | Nevin Heintze |
| 1992 | LICS | An Engine for Logic Program Analysis | Nevin Heintze, Joxan Jaffar |
| 1990 | LICS | A Decision Procedure for a Class of Set Constraints (Extended Abstract) | Nevin Heintze, Joxan Jaffar |
| 1990 | POPL | A Finite Presentation Theorem for Approximating Logic Programs. | Nevin Heintze, Joxan Jaffar |
| 1987 | ICLP | CLP(R) and Some Electrical Engineering Problems. | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |