| 2004 |
|---|
| 32 | | Nevin Heintze,
Peter Sestoft:
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004
ACM 2004 |
| 31 | EE | Rainer Buchty,
Nevin Heintze,
Dino Oliva:
Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications.
ARCS 2004: 184-198 |
| 30 | EE | Nevin Heintze:
Network processors: a progress report.
EMSOFT 2004: 5 |
| 2003 |
|---|
| 29 | EE | Dino Oliva,
Rainer Buchty,
Nevin Heintze:
AES and the cryptonite crypto processor.
CASES 2003: 198-209 |
| 2002 |
|---|
| 28 | EE | Nevin Heintze:
Aliasing analysis for a million lines of C.
ASIA-PEPM 2002: 47-49 |
| 27 | EE | Joseph Williams,
Nevin Heintze,
Bryan D. Ackland:
Communication Mechanisms for Parallel DSP Systems on a Chip.
DATE 2002: 420-422 |
| 2001 |
|---|
| 26 | | Nevin Heintze,
Olivier Tardieu:
Demand-Driven Pointer Analysis.
PLDI 2001: 24-34 |
| 25 | | Nevin Heintze,
Olivier Tardieu:
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second.
PLDI 2001: 254-263 |
| 24 | EE | Anindya Banerjee,
Nevin Heintze,
Jon G. Riecke:
Design and Correctness of Program Transformations Based on Control-Flow Analysis.
TACS 2001: 420-447 |
| 2000 |
|---|
| 23 | | Nevin Heintze,
Joxan Jaffar,
Razvan Voicu:
Conditional Analysis and Verification.
APLAS 2000: 33-49 |
| 22 | EE | Nevin Heintze,
Joxan Jaffar,
Razvan Voicu:
A Framework for Combining Analysis and Verification.
POPL 2000: 26-39 |
| 1999 |
|---|
| 21 | EE | Anindya Banerjee,
Nevin Heintze,
Jon G. Riecke:
Region Analysis and the Polymorphic Lambda Calculus.
LICS 1999: 88-97 |
| 20 | EE | Martín Abadi,
Anindya Banerjee,
Nevin Heintze,
Jon G. Riecke:
A Core Calculus of Dependency.
POPL 1999: 147-160 |
| 1998 |
|---|
| 19 | EE | Nevin Heintze,
Jon G. Riecke:
The SLam Calculus: Programming with Secrecy and Integrity.
POPL 1998: 365-377 |
| 1997 |
|---|
| 18 | | Nevin Heintze,
David A. McAllester:
On the Complexity of Set-Based Analysis.
ICFP 1997: 150-163 |
| 17 | EE | Nevin Heintze,
David A. McAllester:
On the Cubic Bottleneck in Subtyping and Flow Analysis.
LICS 1997: 342-351 |
| 16 | | Nevin Heintze,
David A. McAllester:
Linear-time Subtransitive Control Flow Analysis.
PLDI 1997: 261-272 |
| 15 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
Meta-Programming in CLP(R).
J. Log. Program. 33(3): 221-259 (1997) |
| 1996 |
|---|
| 14 | | J. D. Tygar,
Bennet S. Yee,
Nevin Heintze:
Cryptographic Postage Indicia.
ASIAN 1996: 378-391 |
| 13 | EE | Nevin Heintze,
J. D. Tygar:
A Model for Secure Protocols and Their Compositions.
IEEE Trans. Software Eng. 22(1): 16-30 (1996) |
| 1995 |
|---|
| 12 | | Nevin Heintze,
Joxan Jaffar:
A Generic Algorithm for CLP Analysis.
ICLP 1995: 49-63 |
| 11 | | Nevin Heintze:
Control-Flow Analysis and Type Systems
SAS 1995: 189-206 |
| 1994 |
|---|
| 10 | EE | Nevin Heintze:
Set-Based Analysis of ML Programs.
LISP and Functional Programming 1994: 306-317 |
| 9 | | Nevin Heintze,
Joxan Jaffar:
Set Constraints and Set-Based Analysis.
PPCP 1994: 281-298 |
| 1992 |
|---|
| 8 | | Nevin Heintze:
Practical Aspects of Set Based Analysis.
JICSLP 1992: 765-779 |
| 7 | | Nevin Heintze,
Joxan Jaffar:
An Engine for Logic Program Analysis
LICS 1992: 318-328 |
| 6 | | Nevin Heintze,
Joxan Jaffar:
Semantic Types for Logic Programs.
Types in Logic Programming 1992: 141-155 |
| 5 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey:
CLP(R) and Some Electrical Engineering Problems.
J. Autom. Reasoning 9(2): 231-260 (1992) |
| 1990 |
|---|
| 4 | | Nevin Heintze,
Joxan Jaffar:
A Decision Procedure for a Class of Set Constraints (Extended Abstract)
LICS 1990: 42-51 |
| 3 | | Nevin Heintze,
Joxan Jaffar:
A Finite Presentation Theorem for Approximating Logic Programs.
POPL 1990: 197-209 |
| 1989 |
|---|
| 2 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
On Meta-Programming in CLR(R).
NACLP 1989: 52-66 |
| 1987 |
|---|
| 1 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey:
CLP(R) and Some Electrical Engineering Problems.
ICLP 1987: 675-703 |
