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.

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.

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.

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.

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.