"J. Addison"@cs .