Totally. PLUM is a great team, and this work on ruby contracts from Brianna and Jeff is particularly awesome. By the way, their newest paper about the work in this github is going to be at PLDI: https://www.cs.umd.edu/~jfoster/papers/pldi16.pdf

(disclaimer: I just graduated from PLUM)