Stem haven$ (all stems)
2 papers:
- OSDI-2014-BaumannPH
- Shielding Applications from an Untrusted Cloud with Haven (AB, MP, GCH), pp. 267–283.
- PASTE-2001-Hind #analysis #pointer #problem #question
- Pointer analysis: haven’t we solved this problem yet? (MH), pp. 54–61.