Our poster “verification of abstract libraries blah blah” was accepted to PPoPP2021. I will present the poster next month.
The preprint of the paper can be found here. The poster can be found here.