First-principles alloy theory in oxides | Synapse