Nevin Heintze

Publication Activity (10 Years)

Years Active: 1987-2004
Publications (10 Years): 0

Publications

Rainer Buchty, Nevin Heintze, Dino Oliva
Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. ARCS (2004)
Nevin Heintze
Network processors: a progress report. EMSOFT (2004)
Dino Oliva, Rainer Buchty, Nevin Heintze
AES and the cryptonite crypto processor. CASES (2003)
Joseph Williams, Nevin Heintze, Bryan D. Ackland
Communication Mechanisms for Parallel DSP Systems on a Chip. DATE (2002)
Nevin Heintze
Aliasing analysis for a million lines of C. ASIA-PEPM (2002)
Nevin Heintze, Olivier Tardieu
Demand-Driven Pointer Analysis. PLDI (2001)
Anindya Banerjee, Nevin Heintze, Jon G. Riecke
Design and Correctness of Program Transformations Based on Control-Flow Analysis. TACS (2001)
Nevin Heintze, Olivier Tardieu
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. PLDI (2001)
Nevin Heintze, Joxan Jaffar, Razvan Voicu
A Framework for Combining Analysis and Verification. POPL (2000)
Nevin Heintze, Joxan Jaffar, Razvan Voicu
Conditional Analysis and Verification. APLAS (2000)
Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke
A Core Calculus of Dependency. POPL (1999)
Anindya Banerjee, Nevin Heintze, Jon G. Riecke
Region Analysis and the Polymorphic Lambda Calculus. LICS (1999)
Nevin Heintze, Jon G. Riecke
The SLam Calculus: Programming with Secrecy and Integrity. POPL (1998)
Nevin Heintze, David A. McAllester
Linear-time Subtransitive Control Flow Analysis. PLDI (1997)
Nevin Heintze, David A. McAllester
On the Complexity of Set-Based Analysis. ICFP (1997)
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
Meta-Programming in CLP(R). J. Log. Program. 33 (3) (1997)
Nevin Heintze, David A. McAllester
On the Cubic Bottleneck in Subtyping and Flow Analysis. LICS (1997)
J. D. Tygar, Bennet S. Yee, Nevin Heintze
Cryptographic Postage Indicia. ASIAN (1996)
Nevin Heintze, J. D. Tygar
A Model for Secure Protocols and Their Compositions. IEEE Trans. Software Eng. 22 (1) (1996)
Nevin Heintze
Control-Flow Analysis and Type Systems SAS (1995)
Nevin Heintze, Joxan Jaffar
A Generic Algorithm for CLP Analysis. ICLP (1995)
Nevin Heintze, Joxan Jaffar
Set Constraints and Set-Based Analysis. PPCP (1994)
Nevin Heintze, J. Doug Tygar
A model for secure protocols and their compositions. IEEE Symposium on Security and Privacy (1994)
Nevin Heintze
Set-Based Analysis of ML Programs. LISP and Functional Programming (1994)
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
CLP(R) and Some Electrical Engineering Problems. J. Autom. Reason. 9 (2) (1992)
Nevin Heintze, Joxan Jaffar
An Engine for Logic Program Analysis LICS (1992)
Nevin Heintze
Practical Aspects of Set Based Analysis. JICSLP (1992)
Nevin Heintze, Joxan Jaffar
A Decision Procedure for a Class of Set Constraints (Extended Abstract) LICS (1990)
Nevin Heintze, Joxan Jaffar
A Finite Presentation Theorem for Approximating Logic Programs. POPL (1990)
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
On Meta-Programming in CLR(R). NACLP (1989)
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
CLP(R) and Some Electrical Engineering Problems. ICLP (1987)