Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael D. Bond
Lightweight Data Race Detection for Production Runs
Correcting the Dynamic Call Graph Using Control-Flow Constraints
Related publications
Lightweight Static Analysis for Data Race Detection in Operating System Kernels
Proceedings of the Institute for System Programming of RAS
Improving the Accuracy of Data Race Detection
ACM SIGPLAN Notices
Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection
Transactions on Architecture and Code Optimization
Hardware
Information Systems
Architecture
Software
Lightweight Metric Computation for Distributed Massive Data Streams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Race Condition Detection Algorithms
International Journal of Engineering and Advanced Technology
Engineering
Computer Science Applications
Environmental Engineering
Lightweight Data Modeling in RDF
Identifying Ad-Hoc Synchronization for Enhanced Race Detection
Practical Initialization Race Detection for JavaScript Web Applications
Proceedings of the ACM on Programming Languages
RacerD: Compositional Static Race Detection
Proceedings of the ACM on Programming Languages
