ACM SIGSOFT Distinguished Paper award for the paper Automated Detection of Client-State Manipulation Vulnerabilities at ICSE'12 1 June 2012 by Ann Eg Mølhave Link to the paper