Noam Zilberstein

Makes sense! The examples in the paper have each write paired with a unique read, so the bad outcome occurs in every interleaving and therefore under-approximation is not needed. Do you have other examples where the bad outcome only occurs in some interleavings?

Meanwhile in a talk I’m writing…

Building engines is cooler than building software

I'm participating in the POPL Student Research Competition! Check out my video and come find me at the virtual poster session if you want too learn more! youtu.be/Jzx3-h-c3jE

#mooremafia owns this place #cismafia #yesalgorithm

finally #killinit #myworkhereisdone