1

Sharing Analysis of Arrays, Collections, and Recursive Structures

Nov 9, 2008

Identification of Heap-Carried Data Dependence via Explicit Store Heap Models

Jul 31, 2008

Efficient Context-Sensitive Shape Analysis With Graph Based Heap Models

Mar 29, 2008

Heap Analysis in the Presence of Collection Libraries

Jun 13, 2007

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework

Nov 2, 2006

The DaCapo Benchmarks: Java Benchmarking Development and Analysis

Oct 1, 2006

Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks

Jun 6, 2005

Designing Nucleotide Sequences for Computation a Survey of Constraints

Jun 6, 2005

Building the Components for a Biomolecular Computer

Jun 7, 2004

Randomized Instruction Set Emulation to Disrupt Binary Code Injection Attacks

Oct 27, 2003