Patents by Inventor Marcelo Lopez Ruiz
Marcelo Lopez Ruiz has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 10853042Abstract: Methods and devices for generating program code representations may include receiving program code or edited program code for an application executing on the computer device. The methods and devices may include receiving an identification of a selected pipeline from a plurality of pipelines that defines a plurality of passes of actions to execute on the program code or the edited program code to optimize the program code or the edited program code. The methods and devices may include running the selected pipeline and generate optimizer output with a program code representation of the program code.Type: GrantFiled: June 17, 2019Date of Patent: December 1, 2020Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Marcelo Lopez Ruiz, Ivan Nevraev, David M. Peixotto, Xiang Li
-
Publication number: 20200004515Abstract: Methods and devices for generating program code representations may include receiving program code or edited program code for an application executing on the computer device. The methods and devices may include receiving an identification of a selected pipeline from a plurality of pipelines that defines a plurality of passes of actions to execute on the program code or the edited program code to optimize the program code or the edited program code. The methods and devices may include running the selected pipeline and generate optimizer output with a program code representation of the program code.Type: ApplicationFiled: June 17, 2019Publication date: January 2, 2020Inventors: Marcelo LOPEZ RUIZ, Ivan NEVRAEV, David M. PEIXOTTO, Xiang LI
-
Patent number: 10503634Abstract: Techniques are described for semantically comparing machine code traces generated by compilers that compile computer software code. For example, a trace of machine code generated by a compiler can be obtained. The trace can be transformed into a set of expressions in a uniform expression format (e.g., by performing translation of the trace instructions into corresponding expressions and/or by performing other transformations). The set of expressions in the uniform expression format can be compared to other sets of expressions in the uniform expression format (e.g., other sets of expressions created from traces of machine code from other compilers). Results of the comparison can comprise indications of whether the sets of expressions match.Type: GrantFiled: May 25, 2018Date of Patent: December 10, 2019Assignee: Microsoft Technology Licensing, LLCInventors: Xiang Li, Ivan Nevraev, David McCarthy Peixotto, Marcelo Lopez Ruiz
-
Publication number: 20190361802Abstract: Techniques are described for semantically comparing machine code traces generated by compilers that compile computer software code. For example, a trace of machine code generated by a compiler can be obtained. The trace can be transformed into a set of expressions in a uniform expression format (e.g., by performing translation of the trace instructions into corresponding expressions and/or by performing other transformations). The set of expressions in the uniform expression format can be compared to other sets of expressions in the uniform expression format (e.g., other sets of expressions created from traces of machine code from other compilers). Results of the comparison can comprise indications of whether the sets of expressions match.Type: ApplicationFiled: May 25, 2018Publication date: November 28, 2019Applicant: Microsoft Technology Licensing, LLCInventors: Xiang Li, Ivan Nevraev, David McCarthy Peixotto, Marcelo Lopez Ruiz
-
Patent number: 10365904Abstract: Methods and devices for generating program code representations may include receiving program code or edited program code for an application executing on the computer device. The methods and devices may include receiving an identification of a selected pipeline from a plurality of pipelines that defines a plurality of passes of actions to execute on the program code or the edited program code to optimize the program code or the edited program code. The methods and devices may include running the selected pipeline and generate optimizer output with a program code representation of the program code.Type: GrantFiled: January 29, 2018Date of Patent: July 30, 2019Assignee: Microsoft Technology Licensing, LLCInventors: Marcelo Lopez Ruiz, Ivan Nevraev, David M. Peixotto, Xiang Li
-
Publication number: 20190102152Abstract: Methods and devices for generating program code representations may include receiving program code or edited program code for an application executing on the computer device. The methods and devices may include receiving an identification of a selected pipeline from a plurality of pipelines that defines a plurality of passes of actions to execute on the program code or the edited program code to optimize the program code or the edited program code. The methods and devices may include running the selected pipeline and generate optimizer output with a program code representation of the program code.Type: ApplicationFiled: January 29, 2018Publication date: April 4, 2019Inventors: Marcelo LOPEZ RUIZ, Ivan NEVRAEV, David M. PEIXOTTO, Xiang LI
-
Patent number: 9144744Abstract: Example apparatus and methods concern an improved immersive experience for a video gamer that is provided by controlling a game based on the three dimensional location and orientation of a control and display device held by or otherwise associated with the gamer. The location is determined from data comprising a three dimensional position and an orientation of a portion of a player in a three dimensional space associated with a computerized game. The facing and rotation of the device is determined as a function of both the location of the device and the orientation of the device. The orientation may be determined by data from motion sensors in or on the device. Example apparatus and methods control the computerized game based, at least in part, on the position of the device, the facing of the device, and the rotation of the device.Type: GrantFiled: June 10, 2013Date of Patent: September 29, 2015Inventors: Eric Langlois, Ed Pinto, Marcelo Lopez Ruiz, Todd Manion, Zsolt Mathe
-
Publication number: 20140364227Abstract: Example apparatus and methods concern an improved immersive experience for a video gamer that is provided by controlling a game based on the three dimensional location and orientation of a control and display device held by or otherwise associated with the gamer. The location is determined from data comprising a three dimensional position and an orientation of a portion of a player in a three dimensional space associated with a computerized game. The facing and rotation of the device is determined as a function of both the location of the device and the orientation of the device. The orientation may be determined by data from motion sensors in or on the device. Example apparatus and methods control the computerized game based, at least in part, on the position of the device, the facing of the device, and the rotation of the device.Type: ApplicationFiled: June 10, 2013Publication date: December 11, 2014Inventors: Eric Langlois, Ed Pinto, Marcelo Lopez Ruiz, Todd Manion, Zsolt Mathe
-
Patent number: 8375018Abstract: Techniques for exchanging data are provided herein. An “open” data type is established on a computer system to define the structure of data. The open data type includes one or more predefined properties, and enables one or more extension properties to be optionally included. Data that is defined according to the open data type includes data values for the predefined properties, and may optionally include data values for extension properties. A second computer system may consider the extension properties to be extension properties or predefined properties of a data type known at the second computer system. In this manner, the type system that is used to exchange data between nodes need not necessarily be commonly known among the nodes, and/or may be dynamically modified, even for a particular data instance. Furthermore, queries may be performed against the data that query against the predefined properties and/or extension properties.Type: GrantFiled: June 12, 2009Date of Patent: February 12, 2013Assignee: Microsoft CorporationInventors: Pablo Castro, Andrew Conrad, Michael Flasko, Pratik Patel, Subramanian Muralidhar, Marcelo Lopez Ruiz
-
Publication number: 20120066554Abstract: Determining if access should be granted to a data source. A method includes determining resource usage cost of performing an operation on a data source. The method further includes determining if the resource usage cost exceeds a predetermined threshold. When the resource usage cost exceeds a predetermined threshold, the operation is rejected.Type: ApplicationFiled: September 9, 2010Publication date: March 15, 2012Applicant: Microsoft CorporationInventor: Marcelo Lopez Ruiz
-
Publication number: 20100228749Abstract: Techniques for exchanging data are provided herein. An “open” data type is established on a computer system to define the structure of data. The open data type includes one or more predefined properties, and enables one or more extension properties to be optionally included. Data that is defined according to the open data type includes data values for the predefined properties, and may optionally include data values for extension properties. A second computer system may consider the extension properties to be extension properties or predefined properties of a data type known at the second computer system. In this manner, the type system that is used to exchange data between nodes need not necessarily be commonly known among the nodes, and/or may be dynamically modified, even for a particular data instance. Furthermore, queries may be performed against the data that query against the predefined properties and/or extension properties.Type: ApplicationFiled: June 12, 2009Publication date: September 9, 2010Applicant: MICROSOFT CORPORATIONInventors: Pablo Castro, Andrew Conrad, Michael Flasko, Pratik Patel, Subramanian Muralidhar, Marcelo Lopez Ruiz
-
Publication number: 20090210400Abstract: Aspects of the subject matter described herein relate to translating an identifier in a request into a data structure. In aspects, a client sends a data access request that includes a URI formatted according to the HTTP protocol. The data access request may include a request to create, change, retrieve, or delete one or more resources. The URI is received by a server that has components to translate the URI into a data structure that defines one or more resources indicated by the URI. This data structure is passed to a data source adapter that translates the data structure into operations used to access data on the data source associated with the data source adapter. There may be a plurality of data source adapters with each data source adapter structured to access data on a particular data source using the data structure to define the resources to access.Type: ApplicationFiled: February 15, 2008Publication date: August 20, 2009Applicant: MICROSOFT CORPORATIONInventors: Pablo Martin Castro, Anders Hejlsberg, Nikhil Kothari, Marcelo Lopez Ruiz, Michael Justin Flasko, Pratik Patel