Pipeline Programs that Work