Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11983223 | Finite automaton construction using regular expression derivatives to simulate behavior of a backtracking engine | Margus Veanes, Stephen H. Toub, Daniel J. Moseley, Jose Rodrigo Perez Rodriguez | 2024-05-14 |
| 11177935 | Homomorphic evaluation of tensor programs | Madanlal Musuvathi, Kim Laine, Kristin E. Lauter, Hao Chen, Saeed Maleki +2 more | 2021-11-16 |