Predictive Monitoring with Strong Trace Prefixes. - Zhendong Ang; Umang Mathur 001 (CAV (2), 2024)

Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. - Qiyuan Zhao; George Pîrlea; Zhendong Ang; Umang Mathur 001; Ilya Sergey (CPP, 2024)

Predictive Monitoring against Pattern Regular Languages. - Zhendong Ang; Umang Mathur 001 (Proc. ACM Program. Lang., 2024)

Enhanced Data Race Prediction Through Modular Reasoning. - Zhendong Ang; Azadeh Farzan; Umang Mathur 001 (CoRR, 2025)