I've done research on verification of distributed programs and worked for IBM as an architect of distributed file-systems. It was all so long ago that I'm not u

I've done research on verification of distributed programs and worked for IBM as an architect of distributed file-systems. It was all so long ago that I'm not up to date on the literature so I really enjoy the discussion here. This is the best thing about HN, it has such an interesting and knowledgeable community. Thanks HN.