Issued Patents All Time
Showing 1–16 of 16 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11979318 | Egress traffic engineering in public clouds with commodity routers on the WAN edge | Sharad Agarwal, Ryan Andrew Beckett, Rachee Singh, Paramvir Bahl | 2024-05-07 |
| 11936659 | Automatic verification of safety for virtualized networks | Ryan Andrew Beckett, Sharad Agarwal, Paramvir Bahl, Rachee Singh | 2024-03-19 |
| 11838354 | Techniques for overriding libraries for workloads in a cloud-computing environment | Sanjeev Mehrotra, Vaibhav Pradeep Bhosale | 2023-12-05 |
| 11799731 | Representation and orchestration for virtual wide area networks | Ryan Andrew Beckett, Sharad Agarwal, Paramvir Bahl, Rachee Singh | 2023-10-24 |
| 11750498 | Guarantying SLA thru edge cloud path orchestration | Sharad Agarwal, Ryan Andrew Beckett, Rachee Singh, Paramvir Bahl | 2023-09-05 |
| 11627075 | Stitching multiple wide area networks together | Paramvir Bahl, Ryan Andrew Beckett, Sharad Agarwal, Rachee Singh | 2023-04-11 |
| 11620115 | Output prefix specification transformers | Sumit Gulwani | 2023-04-04 |
| 11611566 | Automatic verification of safety for virtualized networks | Ryan Andrew Beckett, Sharad Agarwal, Paramvir Bahl, Rachee Singh | 2023-03-21 |
| 11595264 | Provisioning edge backhauls for dynamic workloads | Rachee Singh, Sharad Agarwal, Ryan Andrew Beckett, Paramvir Bahl | 2023-02-28 |
| 11570102 | Network diagnostic to control path between partner network and WAN | Sharad Agarwal, Ryan Andrew Beckett, Rachee Singh, Paramvir Bahl | 2023-01-31 |
| 11563678 | Orchestration of overlay paths for wide area network virtualization | Sharad Agarwal, Ryan Andrew Beckett, Rachee Singh, Paramvir Bahl | 2023-01-24 |
| 11256710 | String transformation sub-program suggestion | Sumit Gulwani, Ranvijay Kumar, Craig Lee, Giovanni M. Della-Libera | 2022-02-22 |
| 11194800 | Parallel search in program synthesis | Sumit Gulwani, Michael Vollmer | 2021-12-07 |
| 10983813 | Automatic repetition of context-specific code edits | Sumit Gulwani, Arjun Radhakrishna, Gustavo Araujo Soares, Vu Minh Le, Anders Miltner +1 more | 2021-04-20 |
| 10831451 | Synthesized programming-by-example programs | Sumit Gulwani | 2020-11-10 |
| 10635414 | Output prefix specification transformers | Sumit Gulwani | 2020-04-28 |