I’m not sure this is what you had in mind, but @elrod and I co-authored a paper that we’re submitting to the Correctness 2019 workshop (to be held in conjunction with SC’19). A preliminary version of the preprint is available here for anyone interested:
(the deadline for submissions has been extended to August 19th, so we still have some time to take your comments / questions into account if you have some)