Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Communications of the ACM
Xen and the art of virtualization
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Whole-program compilation in MLton
Proceedings of the 2006 workshop on ML
Melange: creating a "functional" internet
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Multiscale not multicore: efficient heterogeneous cloud computing
Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference
Using functional programming within an industrial product group: perspectives and perceptions
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
Rethinking the library OS from the top down
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Communications of the ACM
Breaking up is hard to do: security and functionality in a commodity hypervisor
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
The design and implementation of an operating system to support distributed multimedia applications
IEEE Journal on Selected Areas in Communications
A decade of OS access-control extensibility
Communications of the ACM
Unikernels: library operating systems for the cloud
Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
| Hi-index | 48.22 |
What if all the software layers in a virtual appliance were compiled within the same safe, high-level language framework?