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 |