Minjian Zhang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Real Time Systems

Automated Detection

Top Venues

Proc. ACM Program. Lang.

Publications

Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Deciding branching hyperproperties for real time systems. CoRR (2024)
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
Dynamic Race Detection with O(1) Samples. Proc. ACM Program. Lang. 7 (POPL) (2023)
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Stack-Aware Hyperproperties. CoRR (2023)
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Stack-Aware Hyperproperties. TACAS (1) (2023)