Matt gave an invited talk at CMU LTI.