173 citations · 655 across the 66 of their papers we have counts for
1 paper · 2 filters
Daniel Poetzl, Daniel Kroening
When optimizing a thread in a concurrent program (either done manually or by the compiler), it must be guaranteed that the resulting thread is a refinement of the original thread.…