Nevin Heintze

According to our database, Nevin Heintze authored at least 30 papers between 1989 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Network processors: a progress report.

Nevin Heintze

Proceedings of the EMSOFT 2004, 2004

Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications.

Rainer Buchty, Nevin Heintze, Dino Oliva

Proceedings of the Organic and Pervasive Computing, 2004

2003

AES and the cryptonite crypto processor.

Dino Oliva, Rainer Buchty, Nevin Heintze

Proceedings of the International Conference on Compilers, 2003

2002

Aliasing analysis for a million lines of C.

Nevin Heintze

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Communication Mechanisms for Parallel DSP Systems on a Chip.

Joseph Williams, Nevin Heintze, Bryan D. Ackland

Proceedings of the 2002 Design, 2002

2001

Design and Correctness of Program Transformations Based on Control-Flow Analysis.

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second.

Nevin Heintze, Olivier Tardieu

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Demand-Driven Pointer Analysis.

Nevin Heintze, Olivier Tardieu

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

A Framework for Combining Analysis and Verification.

Nevin Heintze, Joxan Jaffar, Razvan Voicu

Proceedings of the POPL 2000, 2000

Conditional Analysis and Verification.

Nevin Heintze, Joxan Jaffar, Razvan Voicu

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

A Core Calculus of Dependency.

Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke

Proceedings of the POPL '99, 1999

Region Analysis and the Polymorphic Lambda Calculus.

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

The SLam Calculus: Programming with Secrecy and Integrity.

Nevin Heintze, Jon G. Riecke

Proceedings of the POPL '98, 1998

1997

Meta-Programming in CLP(R).

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

J. Log. Program., 1997

Linear-time Subtransitive Control Flow Analysis.

Nevin Heintze, David A. McAllester

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

On the Cubic Bottleneck in Subtyping and Flow Analysis.

Nevin Heintze, David A. McAllester

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

On the Complexity of Set-Based Analysis.

Nevin Heintze, David A. McAllester

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

A Model for Secure Protocols and Their Compositions.

Nevin Heintze, J. D. Tygar

IEEE Trans. Software Eng., 1996

Cryptographic Postage Indicia.

J. D. Tygar, Bennet S. Yee, Nevin Heintze

Proceedings of the Concurrency and Parallelism, 1996

1995

Control-Flow Analysis and Type Systems

Nevin Heintze

Proceedings of the Static Analysis, 1995

A Generic Algorithm for CLP Analysis.

Nevin Heintze, Joxan Jaffar

Proceedings of the Logic Programming, 1995

1994

Set Constraints and Set-Based Analysis.

Nevin Heintze, Joxan Jaffar

Proceedings of the Principles and Practice of Constraint Programming, 1994

Set-Based Analysis of ML Programs.

Nevin Heintze

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1992

CLP(R) and Some Electrical Engineering Problems.

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey

J. Autom. Reason., 1992

An Engine for Logic Program Analysis

Nevin Heintze, Joxan Jaffar

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Practical Aspects of Set Based Analysis.

Nevin Heintze

Proceedings of the Logic Programming, 1992

Semantic Types for Logic Programs.

Nevin Heintze, Joxan Jaffar

Proceedings of the Types in Logic Programming., 1992

1990

A Finite Presentation Theorem for Approximating Logic Programs.

Nevin Heintze, Joxan Jaffar

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

A Decision Procedure for a Class of Set Constraints (Extended Abstract)

Nevin Heintze, Joxan Jaffar

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

On Meta-Programming in CLR(R).

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap

Proceedings of the Logic Programming, 1989