Mihir Bellare, IBM T. J. Watson Research Center and IBM Zurich Research Laboratory