default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNevin Heintze
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2004
[c28]Rainer Buchty, Nevin Heintze, Dino Oliva:
Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. ARCS 2004: 184-198- [c27]Nevin Heintze:
Network processors: a progress report. EMSOFT 2004: 5 - [e1]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, ISBN 1-58113-835-0 [contents] - 2003
- [c26]Dino Oliva, Rainer Buchty, Nevin Heintze:
AES and the cryptonite crypto processor. CASES 2003: 198-209 - 2002
- [c25]Joseph Williams, Nevin Heintze, Bryan D. Ackland:
Communication Mechanisms for Parallel DSP Systems on a Chip. DATE 2002: 420-422 - [c24]Nevin Heintze:
Aliasing analysis for a million lines of C. ASIA-PEPM 2002: 47-49 - 2001
- [c23]Nevin Heintze, Olivier Tardieu:
Demand-Driven Pointer Analysis. PLDI 2001: 24-34 - [c22]Nevin Heintze, Olivier Tardieu:
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. PLDI 2001: 254-263 - [c21]Anindya Banerjee, Nevin Heintze, Jon G. Riecke:
Design and Correctness of Program Transformations Based on Control-Flow Analysis. TACS 2001: 420-447 - 2000
- [c20]Nevin Heintze, Joxan Jaffar, Razvan Voicu:
Conditional Analysis and Verification. APLAS 2000: 33-49 - [c19]Nevin Heintze, Joxan Jaffar, Razvan Voicu:
A Framework for Combining Analysis and Verification. POPL 2000: 26-39
1990 – 1999
- 1999
- [c18]Anindya Banerjee, Nevin Heintze, Jon G. Riecke:
Region Analysis and the Polymorphic Lambda Calculus. LICS 1999: 88-97 - [c17]Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke:
A Core Calculus of Dependency. POPL 1999: 147-160 - 1998
- [c16]Nevin Heintze, Jon G. Riecke:
The SLam Calculus: Programming with Secrecy and Integrity. POPL 1998: 365-377 - 1997
- [j3]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997) - [c15]Nevin Heintze, David A. McAllester:
On the Complexity of Set-Based Analysis. ICFP 1997: 150-163 - [c14]Nevin Heintze, David A. McAllester:
On the Cubic Bottleneck in Subtyping and Flow Analysis. LICS 1997: 342-351 - [c13]Nevin Heintze, David A. McAllester:
Linear-time Subtransitive Control Flow Analysis. PLDI 1997: 261-272 - 1996
- [j2]Nevin Heintze, J. D. Tygar:
A Model for Secure Protocols and Their Compositions. IEEE Trans. Software Eng. 22(1): 16-30 (1996) - [c12]J. D. Tygar, Bennet S. Yee, Nevin Heintze:
Cryptographic Postage Indicia. ASIAN 1996: 378-391 - 1995
- [c11]Nevin Heintze, Joxan Jaffar:
A Generic Algorithm for CLP Analysis. ICLP 1995: 49-63 - [c10]Nevin Heintze:
Control-Flow Analysis and Type Systems. SAS 1995: 189-206 - 1994
- [c9]Nevin Heintze:
Set-Based Analysis of ML Programs. LISP and Functional Programming 1994: 306-317 - [c8]Nevin Heintze, Joxan Jaffar:
Set Constraints and Set-Based Analysis. PPCP 1994: 281-298 - [c7]Nevin Heintze, J. Doug Tygar:
A model for secure protocols and their compositions. S&P 1994: 2-13 - 1992
- [j1]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey:
CLP(R) and Some Electrical Engineering Problems. J. Autom. Reason. 9(2): 231-260 (1992) - [c6]Nevin Heintze:
Practical Aspects of Set Based Analysis. JICSLP 1992: 765-779 - [c5]Nevin Heintze, Joxan Jaffar:
An Engine for Logic Program Analysis. LICS 1992: 318-328 - [p1]Nevin Heintze, Joxan Jaffar:
Semantic Types for Logic Programs. Types in Logic Programming 1992: 141-155 - 1990
- [c4]Nevin Heintze, Joxan Jaffar:
A Decision Procedure for a Class of Set Constraints (Extended Abstract). LICS 1990: 42-51 - [c3]Nevin Heintze, Joxan Jaffar:
A Finite Presentation Theorem for Approximating Logic Programs. POPL 1990: 197-209
1980 – 1989
- 1989
- [c2]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
On Meta-Programming in CLR(R). NACLP 1989: 52-66 - 1987
- [c1]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey:
CLP(R) and Some Electrical Engineering Problems. ICLP 1987: 675-703
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
