Cisco Technology, Inc.

International Business Machines Corporation

Jonathan Mayer Sobel

Jamie Taylor

David Louis Kaminsky

David Mark Ogle

John Michael Lake

Mary Ellen Zurko

Jonathan Gregory Rossie, Jr

Andrew William Keep

Wendell Davis Jones

R Kent Dybvig

Jason A Young

Greg Kaszycki

Carl Bruggeman

Jonathan G Rossie

Source code verification, including receiving a declaration of a variable as a secret type, determining if any source code is configured to use the variable as a type other than secret, and if it is determined that there is source code that will use the variable as a type other than secret, creating an exception in the source code verification process.

Securing secret information in source code verification and at runtime

In one embodiment, a method is disclosed that includes executing, by a device, one or more programs that use asynchronous message passing. The one or more programs comprise instrumentation code that causes message context information to be generated regarding asynchronous messages passed by the one or more programs. The message context information is indicative of one or more points within the one or more programs at which a particular message is sent or received. The method includes maintaining a current message context associated with a particular portion of the one or more programs. The method includes receiving a first asynchronous message that includes message context information for the received message. The method includes updating the current message context to include the message context information received via the first asynchronous message.

Collection of memory allocation statistics by provenance in an asynchronous message passing system

A method, system, and computer program for managing network connectivity between a plurality of nodes and a network resource. The network resource includes a primary path to the nodes and at least one redundant path. A detecting module is configured to determine if the primary path is unavailable to at least one affected node belonging to the plurality of nodes. A switching module is configured to presumptively switch the affected node to the redundant path if the primary path is unavailable. An initiating module configured to initiate a voting procedure among the plurality of nodes to select a new path to the network resource, wherein data flow at the affected node through the redundant path continues during the voting procedure.

Minimizing data loss chances during controller switching

Growing community of inventors

Cary, NC, United States of America

Jonathan Mayer Sobel