Nevin Heintze - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2004

Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth ApplicationsRainer Buchty, Nevin Heintze, Dino Oliva. arcs 2004: 184-198 [doi]

Network processors: a progress reportNevin Heintze. emsoft 2004: 5 [doi]

2003

AES and the cryptonite crypto processorDino Oliva, Rainer Buchty, Nevin Heintze. cases 2003: 198-209 [doi]

2002

Aliasing analysis for a million lines of CNevin Heintze. PEPM 2002: 47-49 [doi]

Communication Mechanisms for Parallel DSP Systems on a ChipJoseph Williams, Nevin Heintze, Bryan D. Ackland. date 2002: 420-422 [doi]

2001

Design and Correctness of Program Transformations Based on Control-Flow AnalysisAnindya Banerjee, Nevin Heintze, Jon G. Riecke. tacs 2001: 420-447 [doi]

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

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

2000

A Framework for Combining Analysis and VerificationNevin Heintze, Joxan Jaffar, Razvan Voicu. POPL 2000: 26-39 [doi]

Conditional Analysis and VerificationNevin Heintze, Joxan Jaffar, Razvan Voicu. aplas 2000: 33-49

1999

A Core Calculus of DependencyMartín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke. POPL 1999: 147-160 [doi]

Region Analysis and the Polymorphic Lambda CalculusAnindya Banerjee, Nevin Heintze, Jon G. Riecke. lics 1999: 88-97 [doi]

1998

The SLam Calculus: Programming with Secrecy and IntegrityNevin Heintze, Jon G. Riecke. POPL 1998: 365-377 [doi]

1997

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

On the Cubic Bottleneck in Subtyping and Flow AnalysisNevin Heintze, David A. McAllester. lics 1997: 342-351 [doi]

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

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

1996

A Model for Secure Protocols and Their CompositionsNevin Heintze, J. D. Tygar. TSE, 22(1):16-30, 1996. [doi]

Cryptographic Postage IndiciaJ. D. Tygar, Bennet S. Yee, Nevin Heintze. asian 1996: 378-391

1995

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

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

1994

Set-Based Analysis of ML ProgramsNevin Heintze. lfp 1994: 306-317 [doi]

A model for secure protocols and their compositionsNevin Heintze, J. Doug Tygar. sp 1994: 2-13 [doi]

Set Constraints and Set-Based AnalysisNevin Heintze, Joxan Jaffar. ppcp 1994: 281-298

1992

Practical Aspects of Set Based AnalysisNevin Heintze. ICLP 1992: 765-779

Semantic Types for Logic ProgramsNevin Heintze, Joxan Jaffar. In Types in Logic Programming. pages 141-155, 1992.

An Engine for Logic Program AnalysisNevin Heintze, Joxan Jaffar. lics 1992: 318-328

CLP(R) and Some Electrical Engineering ProblemsNevin Heintze, Spiro Michaylov, Peter J. Stuckey. JAR, 9(2):231-260, 1992.

1990

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

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

1989

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

1987

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

Sign in or sign up to see more results.

runs on WebDSL