It's been an interesting journey with this paper!
-
It's been an interesting journey with this paper! We sent it to POPL last summer, where it got quite negative reviews, and we realized that the reviewers we got were not at all who we had been expecting. Our paper had been aimed squarely at Dependent Types Enjoyers. Instead, the reviewers were distributed systems verification experts. They weren't impressed by verification of logical clocks that everyone already knew were correct, and they didn't care about happens-before as a dependent type.
-
Okay, as someone who is into distributed systems and more recently dependent types I nearly did a spit take: wait what do you mean happens-before as a dependent type!? Is this somewhere I can read about it or see more?
-
@lindsey (I've already grabbed the paper and will be going through that later!)