Yes. We did all the work together. Was going to talk about that one later, but since you asked:

Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html