On Lamport’s Critique of Compositional Reasoning

I have recently reviewed a journal paper that was describing very clever verification of a very sophisticated concurrent algorithm. I enjoyed the main ideas and the writing, and my only minor concern with respect to the work was the fact that the delivered result was giving very little insight to the potential clients of the …

Fresh Start

It seems that I might have something worthy of sharing with the world in the near future, so it's time for me to revive my ancient blog. Bye-bye, all previous junk posts.