Search

People
Publications
Research Support

Zheng Shi

Latest

The Complexity of Testing Message-Passing Concurrency
Greybox Fuzzing for Concurrency Testing
Optimistic Prediction of Synchronization-Reversal Data Races

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite