Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sam Blackshear
RacerD: Compositional Static Race Detection
Proceedings of the ACM on Programming Languages
Related publications
Lightweight Static Analysis for Data Race Detection in Operating System Kernels
Proceedings of the Institute for System Programming of RAS
Race Condition Detection Algorithms
International Journal of Engineering and Advanced Technology
Engineering
Computer Science Applications
Environmental Engineering
Static Detection of Disassembly Errors
LLVM-based Dynamic Race Condition Detection
Engineering Journal: Science and Innovation
Static Decoupling in Fault Detection
Automated Error-Detection and Repair for Compositional Software Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Detection of Static Flaws in Changesets
Improving the Accuracy of Data Race Detection
ACM SIGPLAN Notices
Lightweight Data Race Detection for Production Runs
