dblp.uni-trier.dewww.uni-trier.de

Nevin Heintze Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*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
31EERainer Buchty, Nevin Heintze, Dino Oliva: Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. ARCS 2004: 184-198
30EENevin Heintze: Network processors: a progress report. EMSOFT 2004: 5
2003
29EEDino Oliva, Rainer Buchty, Nevin Heintze: AES and the cryptonite crypto processor. CASES 2003: 198-209
2002
28EENevin Heintze: Aliasing analysis for a million lines of C. ASIA-PEPM 2002: 47-49
27EEJoseph 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
24EEAnindya 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
22EENevin Heintze, Joxan Jaffar, Razvan Voicu: A Framework for Combining Analysis and Verification. POPL 2000: 26-39
1999
21EEAnindya Banerjee, Nevin Heintze, Jon G. Riecke: Region Analysis and the Polymorphic Lambda Calculus. LICS 1999: 88-97
20EEMartín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke: A Core Calculus of Dependency. POPL 1999: 147-160
1998
19EENevin 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
17EENevin 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
13EENevin 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
10EENevin 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

Coauthor Index

1Martín Abadi [20]
2Bryan D. Ackland [27]
3Anindya Banerjee [20] [21] [24]
4Rainer Buchty [29] [31]
5Joxan Jaffar [3] [4] [6] [7] [9] [12] [22] [23]
6David A. McAllester [16] [17] [18]
7Spiro Michaylov [1] [2] [5] [15]
8Dino Oliva [29] [31]
9Jon G. Riecke [19] [20] [21] [24]
10Peter Sestoft [32]
11Peter J. Stuckey [1] [2] [5] [15]
12Olivier Tardieu [25] [26]
13J. Doug Tygar (J. D. Tygar) [13] [14]
14Razvan Voicu [22] [23]
15Joseph Williams [27]
16Roland H. C. Yap [2] [15]
17Bennet S. Yee [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)