IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW)