"David E. Patterson"