Mimi Zohar, IBM Research