Develops an information flow logic for unstructured assembly language and applies reordering interference freedom to persistent memory.
In: Chatterjee, S., Scott, M.L
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
SemanticLock uses an operation conflict graph to enable more concurrent operations than standard locks, shown on a toy array and augmented ConcurrentHashMap.
citing papers explorer
-
Information flow security on persistent memory
Develops an information flow logic for unstructured assembly language and applies reordering interference freedom to persistent memory.
-
Semantic Lock: Synchronization Based on the Analysis of the Operation Conflict Graph
SemanticLock uses an operation conflict graph to enable more concurrent operations than standard locks, shown on a toy array and augmented ConcurrentHashMap.