News and Awards

Users are reluctant to use ‘sleep’ features because they break network operations, so Microsoft’s LiteGreen puts machine to sleep without any disruption.

The flaw is noteworthy because many high-profile sites – including Google, Yahoo! and Flickr – use the technology so that once users have logged into one site, they aren’t constantly prompted for passwords.

This MSR NUI Panel with Curtis Wong & Ivan Tashev was recorded live as part of Channel 9 Live at MIX11 on April 13th 2011.

University of Cambridge scientist, Neil Dalchau, and colleagues report sensitivity of the Arabidopsis thaliana circadian oscillator to sucrose, which could be a proof that plant metabolism can regulate the circadian mechanism.

A Facebook security vulnerability discovered by a pair of doctoral students at Indiana University Bloomington’s School of Informatics and Computing that allowed malicious websites to uncover a visitor’s real name, access their private data and…

Simon Peyton Jones and Simon Marlow receive the SIGPLAN Software Award as the authors of the Glasgow Haskell Compiler (GHC), which is the preeminent lazy functional programming system for industry, teaching, and research.

Neil has made important discoveries that provide invaluable insights into the regulation of the circadian clock in Arabidopsis thaliana using a combination of mathematical modeling and experimental intervention.

For innovation and leadership in organizing, accessing, and interacting with information.

For contributions to software model checking, specifically the development of the SLAM/SDV software model checker that successfully demonstrated computer-aided verification techniques on real programs.

For contributions to software analysis and defect detection.