1 citations · 1 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.PL2024★ 1 cited
Efficient Decrease-and-Conquer Linearizability Monitoring
Lee Zheng Han, Umang Mathur
Linearizability has become the de facto correctness specification for implementations of concurrent data structures. While formally verifying such implementations remains challengi…
cs.PL2024
Predictive Monitoring with Strong Trace Prefixes
Zhendong Ang, Umang Mathur
Runtime predictive analyses enhance coverage of traditional dynamic analyses based bug detection techniques by identifying a space of feasible reorderings of the observed execution…