Company Filing History:

8 out of 11,327

Oracle International Corporation

Years Active: 2012-2021

Loading Chart...

10 patents (USPTO):Sort by Forward CitationsExplore Patents

1. 11204746 - Encoding dependencies in call graphs (2021-12-21),

2. 11159381 - Verification of software-defined networking (SDN) policies for specific topologies (2021-10-26),

3. 10949336 - Path-sensitive static analysis (2021-03-16),

4. 10719425 - Happens-before-based dynamic concurrency analysis for actor-based programs (2020-07-21),

5. 10620660 - Efficient timestamp solution for analyzing concurrent software systems (2020-04-14),

6. 8893102 - Method and system for performing backward-driven path-sensitive dataflow analysis (2014-11-18),

7. 8578343 - System and method for overflow detection using partial evaluations (2013-11-05),

8. 8516443 - Context-sensitive analysis framework using value flows (2013-08-20),

9. 8473927 - Points-to analysis using value flow (2013-06-25),

10. 8302086 - System and method for overflow detection using symbolic analysis (2012-10-30),

Title: The Innovative Mind of Nathan Robert Albert Keynes

Introduction: Nathan Robert Albert Keynes is a distinguished inventor based in Kuraby, Australia, renowned for his contributions to the field of technology. With an impressive portfolio of 10 patents, Keynes has made significant strides in software development and networking.

Latest Patents: Two of his latest patents showcase his innovative approach to problem-solving in technology. The first patent titled "Encoding dependencies in call graphs" presents a method for modifying a call graph. This method identifies call sites within source code, allowing for the labeling of edges with specific encodings related to predicates. This innovation enhances the efficiency of code analysis and debugging processes.

The second patent, "Verification of software-defined networking (SDN) policies for specific topologies," outlines a method for verifying SDN policies in complex network topologies. This method involves representing network schemas as graphs, enabling the determination of reachability for packets entering switches. By verifying SDN policies, this invention aids network administrators in ensuring the integrity and performance of their systems.

Career Highlights: Nathan has an extensive career, having worked with notable companies such as Oracle International Corporation and Oracle America, Inc. His tenure at these organizations allowed him to collaborate with industry leaders and contribute to cutting-edge technological advancements.

Collaborations: Throughout his career, Keynes has partnered with talented individuals like Cristina Nicole Cifuentes and Lian Li. These collaborations have led to mutual learning and the development of innovative solutions in the technology sector.

Conclusion: Nathan Robert Albert Keynes exemplifies the spirit of innovation in technology through his patents and collaborations. His work not only reflects his expertise but also contributes significantly to advancements in software engineering and networking, solidifying his place as a key figure in the field.

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com