Stem divin$ (all stems)
2 papers:
- STOC-2011-FeigeT #design #nondeterminism
- Mechanism design with uncertain inputs: (to err is human, to forgive divine) (UF, MT), pp. 549–558.
- VMCAI-2007-BalakrishnanR #bytecode #named
- DIVINE: DIscovering Variables IN Executables (GB, TWR), pp. 1–28.