Virtines: Isolated Execution at Function Call Granularity

We are exploring the limits of hardware virtualization by running individual functions in lightweight, virtualized execution environments called virtines. Programmers create virtines by annotating existing functions in C or Rust, and our runtime system (Wasp) manages virtual machines automatically.