Mark Horowitz of Stanford Recognized with ACM/IEEE CS Eckert