This EuroSys 2025 paper wrestles with the messy interface between formal specification and implementation reality in distributed systems. T...| muratbuffalo.blogspot.com
This paper (NSDI'25) applies lightweight formal methods (hence the pun "smart casual" in contrast to formal attire) to the Confidential Con...| muratbuffalo.blogspot.com
I have been teaching a TLA+ miniseries inside AWS. I just finished the 10th week, with a one hour seminar each week. I wanted to pen down my...| muratbuffalo.blogspot.com
