Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A.V. Khoroshilov
Lightweight Static Analysis for Data Race Detection in Operating System Kernels
Proceedings of the Institute for System Programming of RAS
Using Modularization in Embedded OS
Proceedings of the Institute for System Programming of the RAS
Related publications
Lightweight Data Race Detection for Production Runs
Static Analysis Based Invariant Detection for Commodity Operating Systems
RacerD: Compositional Static Race Detection
Proceedings of the ACM on Programming Languages
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs
A Case for Transforming Parallel Runtimes Into Operating System Kernels
Operating Characteristics of a High Current Electro-Static Accelerator for a Contraband Detection System
Improving the Accuracy of Data Race Detection
ACM SIGPLAN Notices
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Research on Static Comprehensive Detection Method for Mission Electronic System
