Checking LTL[F, G, X] on compressed traces in polynomial time. - Minjian Zhang 002; Umang Mathur 001; Mahesh Viswanathan 001 (ESEC/SIGSOFT FSE, 2021)

Stack-Aware Hyperproperties. - Ali Bajwa; Minjian Zhang 002; Rohit Chadha; Mahesh Viswanathan 001 (TACAS (1), 2023)

Dynamic Race Detection with O(1) Samples. - Mosaad Al Thokair; Minjian Zhang 002; Umang Mathur 001; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2023)

Deciding Branching Hyperproperties for Real Time Systems. - Nabarun Deka; Minjian Zhang 002; Rohit Chadha; Mahesh Viswanathan 001 (CSF, 2024)

Efficient Timestamping for Sampling-Based Race Detection. - Minjian Zhang 002; Daniel Wee Soong Lim; Mosaad Al Thokair; Umang Mathur 001; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2025)