"ASM"@cs .