Renu Tewari, IBM Research—Almaden