"Alan Jenkins"@cs .