Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Program synthesis for query optimization

Program synthesis for query optimization

US Patent 11016974 · Granted May 25, 2021

Estimated economic value: $143,510,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Retaining Dafny specifications2024
Transitioning legacy software to be provably correct2023
Resource state validation of access management policies2023
Resource state validation of access management policies2022
Systematic testing of failover and recovery for distributed system components2019
Identifying execution paths that satisfy reachability queries2015
Programming model for collaborative distributed systems2014
Reducing false alarms for static analysis of concurrent programs2014
Program abstraction based on program control2012