"Mike C. Manning"@cs .