Windows 8 to Get Windows Azure-based Gaming Services

Last Updated on Saturday, 18 December 2010 03:38 Written by Mire_B Saturday, 18 December 2010 03:38

It sounds like Windows Azure will play a more important role for Windows 8 than initially thought. There’s even talk of Windows Azure powering gaming services for the next version of Windows.

Software Development Engineer in Test-IEB-Xbox LIVE-Windows Gaming Experience

Job Category: Software Engineering: Test
Location: United States, WA, Redmond
Job ID: 736291

Division: Entertainment & Devices DivisionThe Windows Gaming Experience (WGX) Team is a very passionate team embarking to create a new world-class gaming platform that comes alive in the presence of services and leverages the power of the PC to help define the next generation of Windows and Web gaming to 300 million potential customers. WGX team is realizing its strategy via the delivery of Windows and Web gaming solutions built upon existing available services (internal and external to Microsoft) as well as building as needed Azure-based services to enable this vision.

We are at the early stages of defining and architecting and developing excitement around gaming in Windows and the Web. We have a highly visible company-wide charter to promote gaming and empower game developers to create compelling, immersive, rich experiences in Windows and on the Web. We are on a mission to make games a first-class citizen in Windows through our efforts and in collaboration with other groups across the Interactive Entertainment & Devices (IEB) division.

We are looking for a strong SDET to join the growing organization and help drive continued improvement quality of our web / gaming services. Candidate should be a fast learner and able to contribute quickly. Candidate should be comfortable working in a very fast paced and iterative environment.

Learn More

Microsoft Security Essentials 2.0 Is Out

Last Updated on Friday, 17 December 2010 01:42 Written by Mire_B Friday, 17 December 2010 01:41

Microsoft Security Essentials 2.0 has been released. The RTM bits for MSE 2.0 are here.

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.