Lindsey Kuper on Nostr: It's been an interesting journey with this paper! We sent it to POPL last summer, ...

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.