Trace-based symbolic analysis for atomicity violations

Chao Wang, Rhishikesh Limaye, Malay Ganai, Aarti Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

41 Scopus citations

Fingerprint Dive into the research topics of 'Trace-based symbolic analysis for atomicity violations'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science