Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Detecting data race and atomicity violation via typestate-guided static analysis

Detecting data race and atomicity violation via typestate-guided static analysis

US Patent 8510722 · Granted Aug 13, 2013

Estimated economic value: $23,828,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Keyed event queue2025
Universal cloud printing protocol2024
Recommending join operations of relational data among tables based on optimizati2024
Transactional, constraint-based system and method for effective authorization2024
Cloud printing utilizing queued message service2024
Work distribution service2024
Measure GUI response time2023
Cluster management2019
Cluster management of distributed applications2018
Event system for a distributed fabric2017
Determining relevant events in source code analysis2017
Intermediate representation construction for static analysis2017