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
Dynamic Race Detection With O(1) Samples
Mosaad Al Thokair, Minjian Zhang, Umang Mathur +1
Happens before-based dynamic analysis is the go-to technique for detecting data races in large scale software projects due to the absence of false positive reports. However, such a…
cs.PL2025
Efficient Timestamping for Sampling-based Race Detection
Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair +2
Dynamic race detection based on the happens before (HB) partial order has now become the de facto approach to quickly identify data races in multi-threaded software. Most practical…