"CRiSP"@cs .