On Meta-Programming in CLR(R). - Nevin Heintze; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (NACLP, 1989)

A Decision Procedure for a Class of Set Constraints (Extended Abstract) - Nevin Heintze; Joxan Jaffar (LICS, 1990)

A Finite Presentation Theorem for Approximating Logic Programs. - Nevin Heintze; Joxan Jaffar (POPL, 1990)

Semantic Types for Logic Programs. - Nevin Heintze; Joxan Jaffar (Types in Logic Programming, 1992)

Practical Aspects of Set Based Analysis. - Nevin Heintze (JICSLP, 1992)

An Engine for Logic Program Analysis - Nevin Heintze; Joxan Jaffar (LICS, 1992)

CLP(R) and Some Electrical Engineering Problems. - Nevin Heintze; Spiro Michaylov; Peter J. Stuckey (J. Autom. Reason., 1992)

Set-Based Analysis of ML Programs. - Nevin Heintze (LISP and Functional Programming, 1994)

Set Constraints and Set-Based Analysis. - Nevin Heintze; Joxan Jaffar (PPCP, 1994)

A Generic Algorithm for CLP Analysis. - Nevin Heintze; Joxan Jaffar (ICLP, 1995)

Control-Flow Analysis and Type Systems - Nevin Heintze (SAS, 1995)

Cryptographic Postage Indicia. - J. D. Tygar; Bennet S. Yee; Nevin Heintze (ASIAN, 1996)

A Model for Secure Protocols and Their Compositions. - Nevin Heintze; J. D. Tygar (IEEE Trans. Software Eng., 1996)

On the Complexity of Set-Based Analysis. - Nevin Heintze; David A. McAllester (ICFP, 1997)

On the Cubic Bottleneck in Subtyping and Flow Analysis. - Nevin Heintze; David A. McAllester (LICS, 1997)

Linear-time Subtransitive Control Flow Analysis. - Nevin Heintze; David A. McAllester (PLDI, 1997)

Meta-Programming in CLP(R). - Nevin Heintze; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (J. Log. Program., 1997)

The SLam Calculus: Programming with Secrecy and Integrity. - Nevin Heintze; Jon G. Riecke (POPL, 1998)

Region Analysis and the Polymorphic Lambda Calculus. - Anindya Banerjee 001; Nevin Heintze; Jon G. Riecke (LICS, 1999)

A Core Calculus of Dependency. - Martín Abadi; Anindya Banerjee 001; Nevin Heintze; Jon G. Riecke (POPL, 1999)

Conditional Analysis and Verification. - Nevin Heintze; Joxan Jaffar; Razvan Voicu (APLAS, 2000)

A Framework for Combining Analysis and Verification. - Nevin Heintze; Joxan Jaffar; Razvan Voicu (POPL, 2000)

Demand-Driven Pointer Analysis. - Nevin Heintze; Olivier Tardieu (PLDI, 2001)

Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. - Nevin Heintze; Olivier Tardieu (PLDI, 2001)

Design and Correctness of Program Transformations Based on Control-Flow Analysis. - Anindya Banerjee 001; Nevin Heintze; Jon G. Riecke (TACS, 2001)

Communication Mechanisms for Parallel DSP Systems on a Chip. - Joseph Williams; Nevin Heintze; Bryan D. Ackland (DATE, 2002)

Aliasing analysis for a million lines of C. - Nevin Heintze (ASIA-PEPM, 2002)

AES and the cryptonite crypto processor. - Dino Oliva; Rainer Buchty; Nevin Heintze (CASES, 2003)

Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. - Rainer Buchty; Nevin Heintze; Dino Oliva (ARCS, 2004)

Network processors: a progress report. - Nevin Heintze (EMSOFT, 2004)