"kavir"@cs .