Minjian Zhang

According to our database, Minjian Zhang authored at least 9 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Efficient Dynamic Algorithms to Predict Short Races.

Minjian Zhang, Mahesh Viswanathan

CoRR, March, 2026

2025

State Space Estimation for DPOR-based Model Checkers.

A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang

CoRR, December, 2025

Efficient Timestamping for Sampling-based Race Detection.

Minjian Zhang, Daniel Wee Soong Lim, Umang Mathur, Mahesh Viswanathan, Mosaad Al Thokair

Dataset, April, 2025

Efficient Timestamping for Sampling-based Race Detection.

Minjian Zhang, Daniel Wee Soong Lim, Umang Mathur, Mahesh Viswanathan, Mosaad Al Thokair

Dataset, March, 2025

Efficient Timestamping for Sampling-Based Race Detection.

Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan

Proc. ACM Program. Lang., 2025

2024

Deciding Branching Hyperproperties for Real Time Systems.

Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Dynamic Race Detection with O(1) Samples.

Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan

Proc. ACM Program. Lang., January, 2023

Stack-Aware Hyperproperties.

Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021

Checking LTL[F, G, X] on compressed traces in polynomial time.

Minjian Zhang, Umang Mathur, Mahesh Viswanathan

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021