Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Code searching and ranking

Code searching and ranking

US Patent 10210211 · Granted Feb 19, 2019

Assignee

No assignee recorded.

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Similarity of binaries2021
Similarity of binaries2019
Searching and ranking of code in videos2017
Speculative prefetching of remote data2016
Automatic verification and synthesis for weak memory models2015
Abstraction-guided synthesis2015
Automatic verification of determinism for parallel programs2015
Synthesis of memory barriers2014
Providing support for debugging heap related errors with heap assertions2014
Runtime enforcement of security checks2014
Asynchronous assertions2013
Detecting defects in deployed systems2013