Takip et
Minjian Zhang
Minjian Zhang
Phd candidate at UIUC
illinois.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Dynamic race detection with O (1) samples
MA Thokair, M Zhang, U Mathur, M Viswanathan
Proceedings of the ACM on Programming Languages 7 (POPL), 1308-1337, 2023
82023
Stack-aware hyperproperties
A Bajwa, M Zhang, R Chadha, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2023
22023
Checking LTL [F, G, X] on compressed traces in polynomial time
M Zhang, U Mathur, M Viswanathan
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
12021
Dynamic Race Detection With O (1) Samples
M AL THOKAIR, M ZHANG, U MATHUR, M VISWANATHAN
2023
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–4