| 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 |
