Conditional must not aliasing for static race detection
- 17 January 2007
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07
- Vol. 42 (1), 327-338
- https://doi.org/10.1145/1190216.1190265
Abstract
No abstract availableKeywords
This publication has 42 references indexed in Scilit:
- Context-Sensitive Points-to Analysis: Is It Worth It?Lecture Notes in Computer Science, 2006
- RaceTrackPublished by Association for Computing Machinery (ACM) ,2005
- Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data StructuresLecture Notes in Computer Science, 2005
- Data Structure Specifications via Local Equality AxiomsLecture Notes in Computer Science, 2005
- Verifying Commit-Atomicity Using Model-CheckingLecture Notes in Computer Science, 2004
- RecPlayACM Transactions on Computer Systems, 1999
- Techniques for debugging parallel programs with flowback analysisACM Transactions on Programming Languages and Systems, 1991
- An empirical comparison of monitoring algorithms for access anomaly detectionPublished by Association for Computing Machinery (ACM) ,1990
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- ReductionCommunications of the ACM, 1975