Peahen: fast and precise static deadlock detection via context reduction.

Yuandao Cai Chengfeng Ye Qingkai Shi Charles Zhang

Published in: ESEC/SIGSOFT FSE (2022)

Keyphrases

deadlock detection
distributed database systems
context aware
databases
end to end
database
relational databases
management system
distributed systems
decision support
manufacturing systems