A Type System for Data-Centric Synchronization
No abstract available.
Related papers
- A data-centric approach to synchronization TOPLAS 2012
- AtomiS: Data-Centric Synchronization Made Practical OOPSLA 2023
- DTMiner: A Data-Centric System for Efficient Temporal Motif Mining PPoPP 2026
- Type-Based Access Control in Data-Centric Systems ESOP 2011
- Locality-centric thread scheduling for bulk-synchronous programming models on CPU architectures CGO 2015
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures GPCE 2007
- Bamboo: a data-centric, object-oriented approach to many-core software PLDI 2010
- Dynamic software updates: a VM-centric approach PLDI 2009