David Heine

Currently

I work with highly configurable processors at Tensilica and reside in Mountain View.

Formerly

Dissertation

• Static Memory Leak Detection

Recent Publications

• Static Detection of Leaks in Polymorphic Containers, ICSE 2006

Software

• clouseau-2.2.1
• suif-2.2.1
• suifint-2.2.1. Requires a license from EDG
• edg-3.1. Requires a license from EDG

Treo

• pssh with 5-way controller fixed for the Sprint Treo 700p pssh.prc
• Built from the code at SealieSoftware with this patch .

Research Topics

• Multi-threaded Processors
• Early Java Experimentation
• SUIF Compiler Infrastructure
• Partial Evaluation and Runtime Code Generation
• Alias Analysis for Compiler Optimizations
• Program Analysis for Static Error Detection.

Coursework

• Computer Architecture
• Operating Systems
• VLSI Design
• Semiconductor Devices
• Compilers

A game

A Java-based solitaire game can be found here: Fun with Java: Solitaire a la Dave

San Francisco Bay Area Flying