01
The Minds Behind Virtualization – 7 People Redefining Architecture
Seven pioneers helped move virtualization from IBM mainframes and formal architecture theory to practical x86 virtual machines and enterprise cloud infrastructure.
↗
Collection
Tag: 1960s-2000s
02
The Minds Behind Superscalar and Out-of-Order Execution – 7 People Redefining Architecture
Seven architects helped teach processors to discover parallelism dynamically while preserving the illusion of simple sequential execution.
↗
03
The Minds Behind Type Systems and Programming Language Theory – 7 People Redefining Software
Type systems and programming-language theory gave software developers mathematical tools for ruling out classes of errors, describing abstraction boundaries, and connecting programs to logic. Curry, Milner, Liskov, Cardelli, Pierce, Wadler, and Girard represent complementary advances in functions, polymorphism, abstraction, subtyping, semantics, and proof-inspired type design.
↗