Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026★ 11 cited
Predictive Monitoring against Pattern Regular Languages
Zhendong Ang, Umang Mathur
In this paper, we focus on the problem of dynamically analysing concurrent software against high-level temporal specifications. Existing techniques for runtime monitoring against s…
cs.PL2025
Enhanced Data Race Prediction Through Modular Reasoning
Zhendong Ang, Azadeh Farzan, Umang Mathur
There are two orthogonal methodologies for efficient prediction of data races from concurrent program runs: commutativity and prefix reasoning. There are several instances of each…
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…