For approximately ten years his focus has been the development of the XSB tabled logic programming system. Professor Warren has more than 70 publications, is co-author of a major book in Logic Programming implementations, and has advised 16 students who have completed their PhD degrees. He has been a leading Principal Investigator of three major multi-million dollar institutional infrastructure grants from NSF and numerous smaller grants. Professor Warren has been active in the logic programming community, serving on many conference program committees. He is a Past President of the Association for Logic Programming, an international professional organization of more than 500 members.
Current work includes a very early draft of a book on Programming in Tabled Prolog .