公开(公告)号：US11782819B2

公开(公告)日：2023-10-10

申请号：US16945149

申请日：2020-07-31

Applicant: Microsoft Technology Licensing, LLC

Inventor： Nir Levy ,  Lee Stott ,  Ran Gilad-Bachrach

IPC: G06F11/36

CPC classification number: G06F11/364

Abstract: A user-annotated reference implementation identifies variable values generated by the reference implementation during its execution. A software implementation under analysis is executed. Variable values in the running memory of the program code of the software implementation under analysis, during its execution, are identified and copied. The variable values traced from the running memory of the program code are compared against the annotated variable values generated by the reference implementation, to determine a similarity between the program code under analysis, and the reference implementation. An output is generated that is indicative of whether the traced variables from the program code under analysis are the same as the annotated variable values generated by the reference implementation.

公开(公告)号：US11301270B2

公开(公告)日：2022-04-12

申请号：US17130965

申请日：2020-12-22

Applicant: Microsoft Technology Licensing, LLC

Inventor： Nir Levy ,  Lee Stott ,  Justin R. Garrett ,  Alexander Pshul ,  Moaid Hathot ,  Libi Axelrod ,  Irit Kantor ,  Itay Yaffe ,  Amichai Vaknin

IPC: G06F9/451 ,  G06F8/20 ,  G06F16/9535 ,  G06F9/50

Abstract: The claimed subject matter includes techniques for providing access to a cloud-based service from a learning management system (LMS). An example method includes receiving a request from a course instructor at a brokerage engine running as an extension of the LMS. The request is a request to configure a course to be provided by a cloud-based service. The request identifies assignments to be accessed by students through the LMS and provisions cloud computing resources of the cloud-based service to be assigned to the students for completion of the assignments. The method also includes performing the request using the cloud-based service by translating, by the brokerage engine, the request to be compatible with the cloud-based service.

公开(公告)号：US10908933B1

公开(公告)日：2021-02-02

申请号：US16704380

申请日：2019-12-05

Applicant: Microsoft Technology Licensing, LLC

Inventor： Nir Levy ,  Lee Stott ,  Justin R. Garrett ,  Alexander Pshul ,  Moaid Hathot ,  Libi Axelrod ,  Irit Kantor ,  Itay Yaffe ,  Amichai Vaknin

IPC: G06F9/451 ,  G06F8/20 ,  G06F16/9535 ,  G06F9/50

Abstract: The claimed subject matter includes techniques for providing access to a cloud-based service. An example method includes generating a user interface form compatible with an application program, the user interface form being displayable via a user interface of the application program. The method also includes receiving a user request at a brokerage engine that runs as an extension of the application program through the user interface form. The method further includes identifying a cloud-based service to perform the request, and performing the request using the cloud-based service by translating the request to be compatible with the identified cloud-based service. The method also includes generating a new user interface form integrated with the user interface of application program, the new user interface form populated with data from the cloud-based service.