Nevin Heintze

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