Casimir L Fernando

20110231824, Sep 22, 2011

Mar 16, 2010

12/724762

Milind Mohan Chabbi - Bellevue WA, US
Casimir Lakshan Fernando - Renton WA, US

MICROSOFT CORPORATION - Redmond WA

G06F 9/44

717126

Verification of low-level rewriters such as binary rewriters involves “vanilla” rewriting a file to generate a rewritten low-level file without performing any optimization, compaction, or other substantive low-level code transformation during the rewrite. Then the metadata of the original low-level file is automatically compared with matching metadata of the rewritten low-level file for semantic equivalence. A properly functioning rewriter produces semantically equivalent files, whereas a defective rewriter may produce files whose metadata semantics differ. Comparison may distinguish composite metadata entities from self-contained metadata entities, and transitive closures of metadata may be compared. Comparison may also test for bitwise equality of self-contained metadata entities, and test for equality between respective flags, strings, fields, and/or methods of the original and rewritten files. Syntactic variants may be detected during comparison, and metadata may be converted into a canonical form to facilitate comparison.

20140068583, Mar 6, 2014

Sep 5, 2012

13/604618

Sameer Tejani - Newcastle WA, US
Adina M. Trufinescu - Redmond WA, US
Yasser Shaaban - Seattle WA, US
Abolade Gbadegesin - Seattle WA, US
Ashish Babbar - Bothell WA, US
Mei-Chin Tsai - Bellevue WA, US
Subramanian Ramaswamy - Redmond WA, US
Casimir Lakshan Fernando - Renton WA, US

Microsoft Corporation - Redmond WA

G06F 9/44

717163

Disclosed herein are representative embodiments of tools and techniques for installing, executing, and/or updating managed applications through generation of native code from code in an intermediate language. According to one exemplary technique, a computing device receives machine dependent intermediate language code (MDIL code) generated by an online provider for an application. Additionally, the computing device installs the application on the computing device by generating a native image for the application, which includes binding a portion of the MDIL code with one or more libraries on the computing device. Also, the native image is stored on the computing device for use in loading the application for execution.

20170109148, Apr 20, 2017

Dec 28, 2016

15/393182

- Redmond WA, US
Adina M. Trufinescu - Redmond WA, US
Yasser Shaaban - Seattle WA, US
Abolade Gbadegesin - Seattle WA, US
Ashish Babbar - Bothell WA, US
Mei-Chin Tsai - Bellevue WA, US
Subramanian Ramaswamy - Redmond WA, US
Casimir Lakshan Fernando - Renton WA, US

Microsoft Technology Licensing, LLC - Redmond WA

G06F 9/45
G06F 9/445

Disclosed herein are representative embodiments of tools and techniques for installing, executing, and/or updating managed applications through generation of native code from code in an intermediate language. According to one exemplary technique, a computing device receives machine dependent intermediate language code (MDIL code) generated by an online provider for an application. Additionally, the computing device installs the application on the computing device by generating a native image for the application, which includes binding a portion of the MDIL code with one or more libraries on the computing device. Also, the native image is stored on the computing device for use in loading the application for execution.