Microsoft Archive

Microsoft Research: a Year of Accomplishment

"From its inception in 1991, Microsoft Research has hewed to a remarkably unwavering mission. Its tenets are threefold: to invest in basic research to advance the state of the art in computer science, to transfer technologies into Microsoft products when appropriate, and to collaborate openly with the scientific community. The year 2010 has not varied from this established, successful tradition. But unlike 1991, when Microsoft Research was in its nascent stage, the organization is now fully mature, has grown into a worldwide presence, and has gained eminence as that modern-day rarity: an industrial research unit dedicated to pursuing pure research, in dozens of areas, that is helping to transform the future. Such a track record, naturally, has its own rewards. It's little surprise, then, that a review of Microsoft Research's 2010 highlights are bookended by a pair of illustrious awards, with others - including the biggest - sprinkled throughout the year."

Microsoft Giano 3.0 Released

"Giano is a framework for the full-system simulation of arbitrary computer systems, with special emphasis on the hardware-software co-development of system software and Real-Time embedded applications. Giano includes both software models for CPU, I/O, busses and memories, and HDL simulators. Full source and a number of full-systems examples are included."

Microsoft Patches Record 40 Vulnerabilities

Today Microsoft released 17 security bulletins which address 40 vulnerabilities affecting Microsoft Office, Windows, Internet Explorer, SharePoint Server and Exchange. This brings the total count for 2010 to 106 bulletins. Of note, only two of the bulletins are rated Critical, 14 are rated Important and one is Moderate. In addition to the bulletins released today, Microsoft is announcing plans to extend the Office File Validation feature currently available in Office 2010, to Office 2007 and 2003. This will help protect those using older versions of Microsoft Office from file parsing vulnerabilities.

Verve: A Type Safe Operating System

"The Singularity project (an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, MSR released a paper covering an operating system research project that takes a new approach to building an OS stack with verifiable and type safe managed code. This project employs a novel use of Typed Assembly Language, which is what you think it is: Assembly with types (implemented as annotations and verified statically using the verification technology Boogie and the theorem prover Z3 (Boogie generates verification conditions that are then statically proven by Z3. Boogie is also a language used to build program verifiers for other languages)). As with Singularity, the C# Bartok compiler is used, but this time it generates TAL. The entire OS stack is verifiably type safe (the Nucleus is essentially the Verve HAL) and all objects are garbage collected. It does not employ the SIP model of process isolation (like Singularity). In this case, again, the entire operating system is type safe and statically proven as such using world-class theorem provers." Channel9 has an interview on video with one of the developers behind this MSR project. Source code to Verve is available.

Microsoft Thought About Going Private

"Microsoft is one of the big stock-market success stories - or at least it used to be. The company has got thousands of people rich, through employee stock options or just through smart investing. But with stock under $30, the same place it was 10 years ago, what if Microsoft went private? That was the question posed this morning by Seattle Times columnist Brier Dudley. 'Sure, in the back of people's minds. We've thought about it,' Bill Koefoed, Microsoft's general manager of investor relations, told the Seattle Times."

Silverlight, HTML5, and Microsoft’s Opaque Development Strategy

"For reasons that are not immediately clear to me, it seems that a lot of developers who attended Microsoft's recent PDC event were surprised to hear that the company now sees HTML5 as the way forward for developing rich Internet applications - and not, as they had been expecting, Silverlight. Their surprise surprises me, because past statements by the company had already made this repositioning obvious, though perhaps not explicit."

Microsoft Profit Jumps 51 Percent with Record Q1 Revenue

"Microsoft profit jumped 51 percent year over year and recorded record quarterly revenue during Q1 of its fiscal year 2011, the company said today, killing Wall Street estimates as skepticism surrounded Microsoft's cash cows. Net income skyrocketed from $3.57 billion in Q1FY10 to $5.41 billion in the quarter ending Sept. 30, launched by strong sales of Windows 7 and Office 2010. The year-ago period, however, was a low point as Microsoft weathered the poor economy. Earnings per share was 62 cents, eclipsing the Wall Street consensus estimate of 55 cents. And while analysts had expected revenue of $15.8 billion, Microsoft reported $16.2 billion - up 25 percent over the year-ago period."

Microsoft Provides Russian NGOs with Unilateral Software License

Who said a public outcry - even if it's just on the internet - never helped anyone? Yesterday, we reported on The New York Times' findings that Microsoft lawyers were taking part in raids on opposition groups in Russia. Today, Microsoft has announced a number of steps to fix the situation - the most significant of which is a unilateral software license extended to all NGOs in Russia and several other countries.

NYT: Russia Uses Microsoft to Suppress Dissent

Piracy is a big problem for large software vendors licensors like Microsoft. As such, the Redmond giant is undertaking several anti-piracy efforts all over the world, and, of course, it attempts to make its software harder to crack through activation and validation. As The New York Times has discovered, however, the prevalence of pirated Microsoft software in Russia is giving the Russian authorities a pretence to raid the offices of outspoken advocacy groups or opposition media - supported by Microsoft lawyers. Update: Microsoft responds with a blog post that says all the right things, including "Microsoft will create a new unilateral software license for NGOs that will ensure they have free, legal copies of our products."

Microsoft Unveils Windows Azure Platform Appliance

Microsoft announced the limited production release of the Windows Azure platform appliance, a turnkey cloud platform for large service providers and enterprises to run in their own data centers. Customers and initial partners using the appliance in their data centers will have the scale-out application platform and data center efficiency of Windows Azure and SQL Azure offered by Microsoft today.

Microsoft Fixes Toolbar Update

"Microsoft has fixed the distribution scope of a toolbar update that, without the user's knowledge, installed an add-on in Internet Explorer and an extension in Firefox called Search Helper Extension. Microsoft told us that the new update is actually the same as the old one; the only difference is the distribution settings. In other words, the update will no longer be distributed to toolbars that it shouldn't be added to. End users won't see the tweak, Microsoft told Ars, and also offered an explanation on what the mystery add-on actually does."