MIT affiliates engage with the MIT-IBM Computing Research Lab to bring rigorous theory to production systems.