Showing cs.DCShow all
2 papers · 1 filter
cs.DC2020
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report)
Vidhya Tekken Valapil, Sandeep Kulkarni, Eric Torng +1
Monitoring distributed systems to ensure their correctness is a challenging and expensive but essential problem. It is challenging because while execution of a distributed system c…
cs.DC2017
Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni +2
In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions amon…