Issued Patents All Time
Showing 1–24 of 24 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11295231 | Systems, methods, and computer-readable media for parallel stochastic gradient descent with linear and non-linear activation functions | Saeed Maleki, Todd Mytkowicz | 2022-04-05 |
| 11177935 | Homomorphic evaluation of tensor programs | Kim Laine, Kristin E. Lauter, Hao Chen, Olli Ilari Saarikivi, Saeed Maleki +2 more | 2021-11-16 |
| 11062226 | Determining a likelihood of a user interaction with a content element | Todd Mytkowicz, Saeed Maleki, Yufei Ding | 2021-07-13 |
| 10922620 | Machine learning through parallelized stochastic gradient descent | Todd Mytkowicz, Yufei Ding | 2021-02-16 |
| 10922627 | Determining a course of action based on aggregated data | Todd Mytkowicz, Saeed Maleki, Yufei Ding | 2021-02-16 |
| 10805317 | Implementing network security measures in response to a detected cyber attack | Todd Mytkowicz, Saeed Maleki, Yufei Ding | 2020-10-13 |
| 10503580 | Determining a likelihood of a resource experiencing a problem based on telemetry data | Todd Mytkowicz, Saeed Maleki, Yufei Ding | 2019-12-10 |
| 10067989 | Technologies for mining temporal patterns in big data | Todd Mytkowicz, Veselin Raychev | 2018-09-04 |
| 9955194 | Server GPU assistance for mobile GPU applications | Alastair Wolman, Eduardo Alberto Cuervo Laffaye, Stefan Saroiu | 2018-04-24 |
| 9384239 | Parallel local sequence alignment | Todd Mytkowicz | 2016-07-05 |
| 9264749 | Server GPU assistance for mobile GPU applications | Alastair Wolman, Eduardo Alberto Cuervo Laffaye, Stefan Saroiu | 2016-02-16 |
| 9195436 | Parallel dynamic programming through rank convergence | Todd Mytkowicz, Saeed Maleki | 2015-11-24 |
| 9098621 | Modeling software behavior using learned predicates | Alice Zheng, Nishant Mehta | 2015-08-04 |
| 9063778 | Fair stateless model checking | Shaz Qadeer | 2015-06-23 |
| 9053227 | Concurrent assertion | Jacob Burnim, Shaz Qadeer | 2015-06-09 |
| 8930907 | Concurrency software testing with probabilistic bounds on finding bugs | Sebastian Burckhardt, Pravesh Kumar Kothari, Santosh Ganapati Nagarakatte | 2015-01-06 |
| 8533682 | Amplification of dynamic checks through concurrency fuzzing | Laxmi Narsimha Rao Kakulamarri | 2013-09-10 |
| 8433954 | Testing components for thread safety | Sebastian Burckhardt, Christopher W. Dern, Roy P. Tan | 2013-04-30 |
| 8418146 | Sampling techniques for dynamic data-race detection | Daniel Marino, Satish Narayanasamy | 2013-04-09 |
| 8392891 | Technique for finding relaxed memory model vulnerabilities | Sebastian Burckhardt | 2013-03-05 |
| 7926035 | Testing multi-thread software using prioritized context switch limits | Shaz Qadeer | 2011-04-12 |
| 7873945 | Automatically generating test cases for binary code | Lin Tan | 2011-01-18 |
| 7606774 | Computer implemented cover process approximating quantifier elimination | Sumit Gulwani | 2009-10-20 |
| 7596534 | Computer implemented methods for solving difference and non-difference linear constraints | Shuvendu K. Lahiri | 2009-09-29 |