Sure, Google scholar, that’s a thing we made, but calling it a publication might be overselling it just a little bit… (it was a presentation we did as part of a course on software verification)