"fasthalt"@cs .