26 citations · 137 across the 24 of their papers we have counts for
1 paper · 1 filter
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç +1
Dynamic techniques are a scalable and effective way to analyze concurrent programs. Instead of analyzing all behaviors of a program, these techniques detect errors by focusing on a…