26 citations · 137 across the 24 of their papers we have counts for
1 paper · 2 filters
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Writing reliable concurrent software remains a huge challenge for today's programmers. Programmers rarely reason about their code by explicitly considering different possible inter…