Nevin Heintze

Rainer Buchty, Nevin Heintze, Dino Oliva: Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. ARCS 2004: 184-198

Nevin Heintze: Network processors: a progress report. EMSOFT 2004: 5

Nevin Heintze, Peter Sestoft (Eds.): Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. ACM 2004, isbn 1-58113-835-0

Dino Oliva, Rainer Buchty, Nevin Heintze: AES and the cryptonite crypto processor. CASES 2003: 198-209

Joseph Williams, Nevin Heintze, Bryan D. Ackland: Communication Mechanisms for Parallel DSP Systems on a Chip. DATE 2002: 420-422

Nevin Heintze: Aliasing analysis for a million lines of C. ASIA-PEPM 2002: 47-49

Nevin Heintze, Olivier Tardieu: Demand-Driven Pointer Analysis. PLDI 2001: 24-34

Nevin Heintze, Olivier Tardieu: Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. PLDI 2001: 254-263

Anindya Banerjee, Nevin Heintze, Jon G. Riecke: Design and Correctness of Program Transformations Based on Control-Flow Analysis. TACS 2001: 420-447

Nevin Heintze, Joxan Jaffar, Razvan Voicu: Conditional Analysis and Verification. APLAS 2000: 33-49

Nevin Heintze, Joxan Jaffar, Razvan Voicu: A Framework for Combining Analysis and Verification. POPL 2000: 26-39

Anindya Banerjee, Nevin Heintze, Jon G. Riecke: Region Analysis and the Polymorphic Lambda Calculus. LICS 1999: 88-97

Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke: A Core Calculus of Dependency. POPL 1999: 147-160

Nevin Heintze, Jon G. Riecke: The SLam Calculus: Programming with Secrecy and Integrity. POPL 1998: 365-377

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)

Nevin Heintze, David A. McAllester: On the Complexity of Set-Based Analysis. ICFP 1997: 150-163

Nevin Heintze, David A. McAllester: On the Cubic Bottleneck in Subtyping and Flow Analysis. LICS 1997: 342-351

Nevin Heintze, David A. McAllester: Linear-time Subtransitive Control Flow Analysis. PLDI 1997: 261-272

Nevin Heintze, J. D. Tygar: A Model for Secure Protocols and Their Compositions. IEEE Trans. Software Eng. 22(1): 16-30 (1996)

J. D. Tygar, Bennet S. Yee, Nevin Heintze: Cryptographic Postage Indicia. ASIAN 1996: 378-391

Nevin Heintze, Joxan Jaffar: A Generic Algorithm for CLP Analysis. ICLP 1995: 49-63

Nevin Heintze: Control-Flow Analysis and Type Systems. SAS 1995: 189-206

Nevin Heintze: Set-Based Analysis of ML Programs. LISP and Functional Programming 1994: 306-317

Nevin Heintze, Joxan Jaffar: Set Constraints and Set-Based Analysis. PPCP 1994: 281-298

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. J. Autom. Reasoning 9(2): 231-260 (1992)

Nevin Heintze, Joxan Jaffar: Semantic Types for Logic Programs. Types in Logic Programming 1992: 141-155

Nevin Heintze: Practical Aspects of Set Based Analysis. JICSLP 1992: 765-779

Nevin Heintze, Joxan Jaffar: An Engine for Logic Program Analysis. LICS 1992: 318-328

Nevin Heintze, Joxan Jaffar: A Decision Procedure for a Class of Set Constraints (Extended Abstract). LICS 1990: 42-51

Nevin Heintze, Joxan Jaffar: A Finite Presentation Theorem for Approximating Logic Programs. POPL 1990: 197-209

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: On Meta-Programming in CLR(R). NACLP 1989: 52-66

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. ICLP 1987: 675-703