The concept of virtual machines is not a new one. Here’s some history. The sensible goal here is obvious — use expensive hardware assets more efficiently through the use of multiple concurrent ...

Zhong Shao, newly designated as the Thomas L. Kempner Professor of Computer Science, focuses his research on programming languages, compilers, formal methods, and operating systems. At Yale, Shao ...

Concurrent and parallel systems span from tightly integrated multicore and many-core processors to distributed clusters and cloud infrastructures. At the hardware level, advances in pipelining, ...