Supporting Concurrency Abstractions in High-level Language Virtual Machines

The OMOP proposed in this dissertation provides a unifying and minimal substrate to support concurrent programming on top of multi-language VMs, enabling language implementers to correctly implement language semantics, while simultaneously enabling VMs to provide efficient implementations.