The thermodynamic stability of the AB (rocksalt) structure for binary
mixtures of hard spheres is established by means of Monte Carlo and mo
lecular dynamics simulations. Constant pressure and constant volume ph
ase diagrams are presented for size ratios root 2 - 1 and 0.45. A phas
e-separation molecular dynamics experiment is described, confirming th
e predictions of the phase diagram.