Microsoft Research predicts 2013 Oscar winners

Last Updated on Thursday, 21 February 2013 09:48 Written by admin Thursday, 21 February 2013 09:48

Here’s a list of potential Oscar winners this year, according to Microsoft Research.
Best picture: Argo 93.6 %
Best director: Steven Spielberg 83.4 %
Best actor: Daniel Day-Lewis 98.3 %
Best actress: Jennifer Lawrence 70.8 %
Best screenplay: Django Unchained 49.2 %

You can find the rest of forecast by following this link: predictwise.com.
The results enumerated above come from the use of a data-driven model to predict fathered by David Rothschild of Microsoft Research New York City. Before tackling the 2013 Academy Awards, Rothschild used the model to accurately predict the results of the U.S. presidential election.


Learn More

Microsoft Exploits LCD Viewing Angles Limitation to Enable Concurrent Dual View

Last Updated on Monday, 7 May 2012 11:58 Written by Mire_B Monday, 7 May 2012 11:58

There’s a saying about one man’s trash being another man’s treasure. Watch the video embedded below to see this truism come to fruition. Microsoft Research exploited a common fault in LCD screens, namely limited viewing angles, to enable concurrent dual view. Via Steve Clayton.


Learn More

Introducing Verve: a Type Safe Operating System

Last Updated on Wednesday, 8 December 2010 12:05 Written by Mire_B Tuesday, 7 December 2010 04:33

There’s a new operating system project at Microsoft, dubbed Verve. Read on in order to get information on Verve, a type safe OS developed by Microsoft Research.

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.

Here’s the basic idea (from the introduction of the paper):

Typed assembly language (TAL) and Hoare logic can verify the absence of many kinds of errors in low-level code. We use TAL and Hoare logic to achieve highly automated, static verification of the safety of a new operating system called Verve. Our techniques and tools mechanically verify the safety of every assembly language instruction in the operating system, run-time system, drivers, and applications (in fact, every part of the system software except the boot loader). Verve consists of a “Nucleus” that provides primitive access to hardware and memory, a kernel that builds services on top of the Nucleus, and applications that run on top of the kernel.

Here, Microsoft research scientist and operating system expert (he worked on the Singularity project) Chris Hawblitzel sits down with me to discuss the rationale behind the Verve project, the architecture and design of Verve and the Nucleus, Typed Assembly Language (TAL), potential for Verve in the real world, and much more. This is a conversational piece (no demos, no whiteboarding), but if you are into operating research and strategies for building type safe systems at the lowest levels, then this is for you. If you are interested, perhaps we could get Chris into our studio for a lecture or two on OS design.


Get Microsoft Silverlight


Learn More
Designed by CodenameWindows
WordPress is Free Software released under the GNU/GPL License.