Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcelo Cintra
Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection
Transactions on Architecture and Code Optimization
Hardware
Information Systems
Architecture
Software
Architectural Support for Scalable Speculative Parallelization in Shared-Memory Multiprocessors
Related publications
Extended Sequential Reasoning for Data-Race-Free Programs
Identifying Ad-Hoc Synchronization for Enhanced Race Detection
Lightweight Data Race Detection for Production Runs
Improving the Accuracy of Data Race Detection
ACM SIGPLAN Notices
Lightweight Static Analysis for Data Race Detection in Operating System Kernels
Proceedings of the Institute for System Programming of RAS
Subutai: Distributed Synchronization Primitives in NoC Interfaces for Legacy Parallel-Applications
Synchronization and Recovery in an Embedded Database System for Read-Only Transactions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Coexistence of Synchronization and Anti-Synchronization for Chaotic Systems via Feedback Control
Race Directed Scheduling of Concurrent Programs
ACM SIGPLAN Notices
Computer Science
