| 12367064 |
Managing global and local execution phases |
Sylvan Clebsch |
2025-07-22 |
| 12099875 |
Memory deallocation across a trust boundary |
David Thomas CHISNALL, Sylvan Clebsch, Roy SCHUSTER |
2024-09-24 |
| 11853598 |
Software memory tagging for heap overflow protection |
Joseph Norman BIALEK |
2023-12-26 |
| 11593169 |
Memory deallocation across a trust boundary |
David Thomas CHISNALL, Sylvan Clebsch, Roy SCHUSTER |
2023-02-28 |
| 11016883 |
Safe manual memory management |
Manuel Costa, Dimitrios Vytiniotis, Kapil Vaswani |
2021-05-25 |
| 10768902 |
Actor model programming |
Sylvan Clebsch |
2020-09-08 |
| 10592661 |
Package processing |
Sylvan Clebsch, Marc Manuel Johannes Brockschmidt, Syed Samin ISHTIAQ, Jade Ella Carla Alglave, Andrew Madison Kent |
2020-03-17 |
| 10496534 |
Manual memory management using lazy patching |
Dimitrios Vytiniotis, Manuel Costa, Kapil Vaswani, Piyus Kumar Kedia |
2019-12-03 |
| 10459778 |
Sending messages between threads |
Sylvan Clebsch |
2019-10-29 |
| 7075209 |
Compliant bistable micromechanism |
Larry L. Howell, Brian D. Jensen, Gregory M. Roach |
2006-07-11 |
