[PLDI'23] VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating(…) | ACM SIGPLAN | Podwise