DFix: automatically fixing timing bugs in distributed systems.
Guangpu LiHaopeng LiuXianglan ChenHaryadi S. GunawiShan LuPublished in: PLDI (2019)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- distributed environment
- message passing
- geographically distributed
- load balancing
- distributed computing
- mobile agents
- real time
- mobile computing
- operating system
- distributed database systems
- real time systems
- concurrent systems
- source code
- security policies
- software systems
- database systems
- database
- data availability