6 citations · 17 across the 11 of their papers we have counts for
1 paper · 1 filter
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We present Locksynth, a tool that automatically derives synchronization needed for destructive updates to concurrent data structures that involve a constant number of shared heap m…