Patents/Inventors

Filip J. Pizlo

Santa Cruz, CAUS7 patents

7 Patents

US123327742025
Allocation of Memory Within a Data Type-specific Memory Heap
Apple Inc.
0 cites
US122994472025
Hardware Verification of Dynamically Generated Code
Apple Inc.
0 cites
US122599782025
Verifiable Machine Code
Apple Inc.
0 cites
US118802982024
Allocation of Memory Within a Data Type-specific Memory Heap
Apple Inc.
0 cites
US118609962024
Security Concepts for Web Frameworks
Apple Inc.
0 cites
US118164842023
Hardware Verification of Dynamically Generated Code
Apple Inc.
0 cites
US117096752023
Software Verification of Dynamically Generated Code
Apple Inc.
0 cites