"Brian Hall"@cs . "B. Halla"@cs .