Abstract: Methods, systems, and computer readable media for synthesizing network specifications using input and output examples are disclosed. An example system for synthesizing network specifications using input and output examples includes a processor and a memory. The system also includes an network specification synthesizer (NSS) implemented using the processor and the memory. The NSS is configured for: receiving input and output examples associated with a network protocol; generating, using the input and output examples and a synthesis algorithm, a logical specification defining the network protocol, wherein the logical specification includes a set of rules; and outputting the logical specification.

Abstract: A method for providing shuffle templates and using the shuffle templates to implement shuffling of data among workers comprising compute resources in a data center includes providing, by a shuffle manager, an application programming interface (API) through which applications can select shuffle templates and specify data to be processed by the workers in the data center using the shuffle templates to distribute the data as messages transmitted among the workers. The shuffle manager receives a call for a shuffle template including a shuffle template identifier source and destination identifiers for processing by the workers. The shuffle manager selects the shuffle template identified by the call for the shuffle template and provides the shuffle template to the workers. Workers use the shuffle template to generate a shuffle plan and use the shuffle plan to shuffle the messages among the workers between the sources and the destinations.

Abstract: In one embodiment, a method is provided. The method includes receiving a request for a first set of data stored on a data storage system from a computing device. The method also includes retrieving the first set of data from a data storage device of the data storage system. The method further includes generating a set of codewords based on the first set of data and an error correction code. The method further includes transmitting a set of network packets to the computing device. Each network packet of the set of network packets comprises a codeword from the set of codewords.

Abstract: In one embodiment, a method is provided. The method includes receiving first set of data via a communication interface of a data storage system. The method also includes determining whether a primary processing device should be used for performing checksum computations for the first set of data. If the primary processing device should be used, the method further includes providing the first set of data to the primary processing device. If the primary processing device should not be used, the method further includes providing the first set of data to the secondary processing device.

Abstract: In one embodiment, a method is provided. The method includes receiving a request for a first set of data stored on a data storage system from a computing device. The method also includes retrieving the first set of data from a data storage device of the data storage system. The method further includes generating a set of codewords based on the first set of data and an error correction code. The method further includes transmitting a set of network packets to the computing device. Each network packet of the set of network packets comprises a codeword from the set of codewords.

Abstract: In one embodiment, a method is provided. The method includes receiving first set of data via a communication interface of a data storage system. The method also includes determining whether a primary processing device should be used for performing checksum computations for the first set of data. If the primary processing device should be used, the method further includes providing the first set of data to the primary processing device. If the primary processing device should not be used, the method further includes providing the first set of data to the secondary processing device.

Abstract: In one embodiment, a method is provided. The method includes transmitting a first set of data from a data storage system to a computing device using a first network protocol. The method also includes analyzing network conditions of a network used by the computing device and the data storage system. The method further includes determining whether to use a second network protocol to transmit a second set of data to the computing device. The method further includes in response to determining that the second network protocol should be used to transmit the second set of data, transmitting the second set of data to the computing device using the second network protocol.

Abstract: Methods, systems, and computer readable media for generating SDN policies are disclosed. One system includes a processor and a memory. The system also includes an SDN policy synthesizer (SPS) implemented using the processor and the memory. The SPS is configured to receive scenario based information indicating one or more behaviors for at least one SDN policy, to use a synthesis algorithm for generating the at least one SDN policy based on the scenario based information, and to provide the at least one SDN policy to an SDN controller.

Abstract: Methods, systems, and computer readable media for generating SDN policies are disclosed. One system includes a processor and a memory. The system also includes an SDN policy synthesizer (SPS) implemented using the processor and the memory. The SPS is configured to receive scenario based information indicating one or more behaviors for at least one SDN policy, to use a synthesis algorithm for generating the at least one SDN policy based on the scenario based information, and to provide the at least one SDN policy to an SDN controller.

Abstract: Systems, methods, and articles of manufacture to provide cloud resource orchestration are disclosed. An example method includes converting, with a processor, a plurality of constraints and a goal for a cloud deployment into a constraint optimization problem, calculating, with the processor, a solution for the constraint optimization problem, and generating instructions to perform cloud resource orchestration for the cloud deployment based on the solution of the constraint optimization problem.

Abstract: Systems, methods, and articles of manufacture to provide cloud resource orchestration are disclosed. An example method includes converting, with a processor, a plurality of constraints and a goal for a cloud deployment into a constraint optimization problem, calculating, with the processor, a solution for the constraint optimization problem, and generating instructions to perform cloud resource orchestration for the cloud deployment based on the solution of the constraint optimization problem.