James D. Harvey

• A static secure flow analyzer for a subset of Java
• The design and cost of a highway reconstruction