Login / Signup

VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.

Zongyuan LiuSergei StepanenkoJean Pichon-PharabodAmin TimanyAslan AskarovLars Birkedal
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • virtual machine
  • operating system
  • distributed computing
  • computing resources
  • data center
  • cloud computing environment
  • byte code
  • machine learning
  • cloud computing
  • low latency