2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.CL2026
Beyond Function Calling: Benchmarking Tool-Using Agents under Tool-Environment Unreliability
Yang Tian, Zhengpeng Shi, Yu Zhou +1
Large language models are increasingly deployed as agents that solve tasks by interacting with external tool environments. Although recent tool-use benchmarks increasingly cover co…
cs.PL2025
The Complexity of Testing Message-Passing Concurrency
Zheng Shi, Lasse Møldrup, Umang Mathur +1
A key computational question underpinning the automated testing and verification of concurrent programs is the consistency question - given a partial execution history, can it be c…
cs.SE2024★ 2 cited
Optimistic Prediction of Synchronization-Reversal Data Races
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
Dynamic data race detection has emerged as a key technique for ensuring reliability of concurrent software in practice. However, dynamic approaches can often miss data races owing…