Demystifying and Checking Silent Semantic Violations in Large Distributed Systems.
Chang LouYuzhuo JingPeng HuangPublished in: OSDI (2022)
Keyphrases
- distributed systems
- distributed environment
- fault tolerant
- message passing
- fault tolerance
- distributed computing
- operating system
- geographically distributed
- semantic information
- mobile computing
- load balancing
- real time systems
- concurrent systems
- data replication
- security policies
- agent based systems
- distributed database systems
- semantic web
- artificial intelligence
- emergent behavior
- loosely coupled
- digital libraries