The largest 2022 logistics trade show in North America, the Transport Logistic Americas 2022 & air cargo forum trade show, was held in Miami in November.| ShipHub
I attended the TLA+ Community Event at Hamilton, Ontario on Sunday. Several talks pushed the boundaries of formal methods in the real world...| muratbuffalo.blogspot.com
Joint work with Will Schultz.| Metadata
This Sunday, I'll be attending (and speaking at) the TLA+ Community Event , co-located with ETAPS 2025 in Hamilton, Ontario. The setting i...| muratbuffalo.blogspot.com
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