Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

• Smartphone Patent Wars: The Coming Sequel
  The New York Times
• Possible Hadoop Trajectories
  Michael Stonebraker and Jeremy Kepner
• Welcome to the Microsoft Store
  Slate

Conferences:

• HPDC '12: The 21st International ACM Symposium on High-Performance Parallel and Distributed Computing - June 20 – 22, 2012;  Delft, The Netherlands

Courses:

• What's New in Microsoft Office Outlook 2007 - This online course introduces the new features and functionality in the latest version of Microsoft Office Outlook. In addition to managing e-mail, schedules, and contacts …

• SIG: end-user programming
  CHI EA '12: Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts
• A static technique for fault localization using character n-gram based information retrieval model
  ISEC '12: Proceedings of the 5th India Software Engineering Conference
• Report from the 2nd international workshop on replication in empirical software engineering research (RESER 2011)
  SIGSOFT Software Engineering Notes