"SMART"@cs .