26 citations · 106 across the 19 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022★ 1 cited
Coarser Equivalences for Causal Concurrency
Azadeh Farzan, Umang Mathur
Trace theory is a principled framework for defining equivalence relations for concurrent program runs based on a commutativity relation over the set of atomic steps taken by indivi…
cs.LO2022
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
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…