Wietse Venema, IBM T.J. Watson Research Center