ACM SIGSOFT Distinguished Paper award for the paper Automated Detection of Client-State Manipulation Vulnerabilities at ICSE'12