Stem alien$ (all stems)

3 papers:

TACAS-2014-MullerV #contest #named

CPAlien: Shape Analyzer for CPAChecker — (Competition Contribution) (PM, TV), pp. 395–397.

CSCW-2012-LjungbladKJCN #question

Hospital robot at work: something alien or an intelligent colleague? (SL, JK, MJ, HSMC, KN), pp. 177–186.

VMCAI-2005-ChangL #abstract interpretation

Abstract Interpretation with Alien Expressions and Heap Structures (BYEC, KRML), pp. 147–163.