“Our focus is the automatic transformation of high-level specifications into efficient code and the development of supporting tools written largely in Common Lisp.”

link