| 12159211 |
Automated merge conflict resolution with transformers |
Christian Alma Bird, Shuvendu K. Lahiri, Neelakantan Sundaresan, ALEXEY SVYATKOVSKIY |
2024-12-03 |
| 11295231 |
Systems, methods, and computer-readable media for parallel stochastic gradient descent with linear and non-linear activation functions |
Saeed Maleki, Madanlal Musuvathi |
2022-04-05 |
| 11177935 |
Homomorphic evaluation of tensor programs |
Madanlal Musuvathi, Kim Laine, Kristin E. Lauter, Hao Chen, Olli Ilari Saarikivi +2 more |
2021-11-16 |
| 11062226 |
Determining a likelihood of a user interaction with a content element |
Madanlal Musuvathi, Saeed Maleki, Yufei Ding |
2021-07-13 |
| 11012574 |
User interruptibility aware notifications |
Aman Kansal, Mohamed Musthag, Deepak Ganesan, Kathryn S. McKinley |
2021-05-18 |
| 10922627 |
Determining a course of action based on aggregated data |
Madanlal Musuvathi, Saeed Maleki, Yufei Ding |
2021-02-16 |
| 10922620 |
Machine learning through parallelized stochastic gradient descent |
Madanlal Musuvathi, Yufei Ding |
2021-02-16 |
| 10805317 |
Implementing network security measures in response to a detected cyber attack |
Madanlal Musuvathi, Saeed Maleki, Yufei Ding |
2020-10-13 |
| 10664927 |
Automation of crowd-sourced polling |
Benjamin Livshits |
2020-05-26 |
| 10503580 |
Determining a likelihood of a resource experiencing a problem based on telemetry data |
Madanlal Musuvathi, Saeed Maleki, Yufei Ding |
2019-12-10 |
| 10331543 |
Performance diagnostics via offline replay |
Mark Marron, Arunesh Chandra, Hitesh Kanwathirtha |
2019-06-25 |
| 10115116 |
Optimizing efficiency and cost of crowd-sourced polling |
Benjamin Livshits, Georgios Kastrinis |
2018-10-30 |
| 10067989 |
Technologies for mining temporal patterns in big data |
Madanlal Musuvathi, Veselin Raychev |
2018-09-04 |
| 9646257 |
Probabilistic assertions and verifying them |
Kathryn S. McKinley, Adrian Sampson |
2017-05-09 |
| 9384239 |
Parallel local sequence alignment |
Madanlal Musuvathi |
2016-07-05 |
| 9332411 |
User interruptibility aware notifications |
Aman Kansal, Mohamed Musthag, Deepak Ganesan, Kathryn S. McKinley |
2016-05-03 |
| 9195436 |
Parallel dynamic programming through rank convergence |
Madanlal Musuvathi, Saeed Maleki |
2015-11-24 |
| 7774589 |
System, method and program for selectivity rebooting computers and other components of a distributed computer system |
Ann Corrao, Vidhi Desai, Michael R. Ensley, Brian J. Snitzer, Nam Tran |
2010-08-10 |
