Export Citations
1 Results for: Author: Deshmukh, Ameya Prashant
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,736,548 records)|Limit your search to The ACM Full-Text Collection (750,376 records)
- research-articleApril 2024
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3April 2024, Pages 223–238https://doi.org/10.1145/3620666.3651358Dynamic analyses are a standard approach to analyzing and testing concurrent programs. Such techniques observe program traces σ and analyze them to infer the presence or absence of bugs. At its core, each analysis maintains a partial order P that ...