Alexei Karve, IBM Research