Computer Science Laboratory. Research areas include parallelism, networks and systems; automatic de...