Minjian Zhang

11 papers A 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Efficient Dynamic Algorithms to Predict Short Races.
CoRR
Minjian Zhang, Mahesh Viswanathan
2025 J jnl
Dynamic Race Detection With O(1) Samples.
CoRR
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2025 J jnl
Efficient Timestamping for Sampling-Based Race Detection.
Proc. ACM Program. Lang.
Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
2025 J jnl
Efficient Timestamping for Sampling-based Race Detection.
CoRR
Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
2025 J jnl
State Space Estimation for DPOR-based Model Checkers.
CoRR
A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang
2024 A conf
Deciding Branching Hyperproperties for Real Time Systems.
CSF
Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2024 J jnl
Deciding branching hyperproperties for real time systems.
CoRR
Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2023 J jnl
Dynamic Race Detection with O(1) Samples.
Proc. ACM Program. Lang.
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2023 — conf
Stack-Aware Hyperproperties.
TACAS (1)
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2023 J jnl
Stack-Aware Hyperproperties.
CoRR
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
2021 — conf
Checking LTL[F, G, X] on compressed traces in polynomial time.
ESEC/SIGSOFT FSE
Minjian Zhang, Umang Mathur, Mahesh Viswanathan