| 12367057 |
Scaling a host virtual counter and timer in a virtualized computer system |
Regis Duchesne, Andrei Warkentin, Cyprien Laplace, Ye Li, Shruthi Hiriyuru +1 more |
2025-07-22 |
|
| 12360794 |
Lifecycle and recovery for virtualized DPU management operating systems |
Andrei Warkentin, Sunil Kotian, Ye Li, Cyprien Laplace, Regis Duchesne +1 more |
2025-07-15 |
|
| 12248799 |
Guest time scaling for a virtual machine in a virtualized computer system |
Andrei Warkentin, Ye Li, Regis Duchesne, Cyprien Laplace, Shruthi Hiriyuru +1 more |
2025-03-11 |
|
| 12118362 |
Behavioral implementation of a double fault stack in a computer system |
Cyprien Laplace, Sunil Kotian, Andrei Warkentin, Regis Duchesne, Shruthi Hiriyuru +1 more |
2024-10-15 |
|
| 12007936 |
Power efficient memory value updates for arm architectures |
Regis Duchesne, Andrei Warkentin, Cyprien Laplace, Ye Li, Shruthi Hiriyuru +1 more |
2024-06-11 |
|
| 11880301 |
Enabling efficient guest access to peripheral component interconnect express (PCIe) configuration space |
Andrei Warkentin, Ye Li, Regis Duchesne, Cyprien Laplace, Shruthi Hiriyuru +1 more |
2024-01-23 |
|
| 11803445 |
Boot failure protection on smartNICs and other computing devices |
Andrei Warkentin, Jared McNeill, Sunil Kotian, Shruthi Hiriyuru |
2023-10-31 |
$18,423,000 |
| 11726852 |
Hardware-assisted paravirtualized hardware watchdog |
Andrei Warkentin, Sunil Kotian, Jared McNeill, Shruthi Hiriyuru |
2023-08-15 |
$20,197,000 |
| 11693952 |
System and method for providing secure execution environments using virtualization technology |
Ye Li, David Ott, Andrei Warkentin, Cyprien Laplace |
2023-07-04 |
|
| 11579918 |
Optimizing host CPU usage based on virtual machine guest OS power and performance management |
Andrei Warkentin, Cyprien Laplace, Regis Duchesne, Ye Li |
2023-02-14 |
$16,154,000 |
| 11561894 |
Enabling efficient guest access to peripheral component interconnect express (PCIe) configuration space |
Andrei Warkentin, Ye Li, Regis Duchesne, Cyprien Laplace, Shruthi Hiriyuru +1 more |
2023-01-24 |
$33,745,000 |
| 11550609 |
Unified hypercall interface across processors in virtualized computing systems |
Andrei Warkentin, Cyprien Laplace, Regis Duchesne, Shruthi Hiriyuru, Ye Li |
2023-01-10 |
$40,115,000 |
| 11513825 |
System and method for implementing trusted execution environment on PCI device |
Ye Li, David Ott, Cyprien Laplace, Andrei Warkentin |
2022-11-29 |
$28,020,000 |
| 11436318 |
System and method for remote attestation in trusted execution environment creation using virtualization technology |
Ye Li, David Ott, Cyprien Laplace, Shruthi Hiriyuru |
2022-09-06 |
$17,170,000 |
| 11422840 |
Partitioning a hypervisor into virtual hypervisors |
Andrei Warkentin, Harvey Tuch, Cyprien Laplace |
2022-08-23 |
$37,305,000 |
| 11263019 |
Method for converting device tree data into ACPI data for edge device operating in a network |
Andrei Warkentin, Cyprien Laplace, Ye Li, Regis Duchesne |
2022-03-01 |
$8,972,000 |
| 11210222 |
Non-unified cache coherency maintenance for virtual machines |
Ye Li, Cyprien Laplace, Andrei Warkentin, Regis Duchesne |
2021-12-28 |
$51,817,000 |
| 11182303 |
Constructing bootloader address space without guaranteed physical memory layout |
Andrei Warkentin, Cyrien Laplace, Ye Li, Regis Duchesne |
2021-11-23 |
$1,700,000 |
| 11169838 |
Hypercall implementation in a virtualized computer system |
Cyprien Laplace, Regis Duchesne, Andrei Warkentin, Ye Li |
2021-11-09 |
$7,048,000 |
| 11150933 |
Optimizing host CPU usage based on virtual machine guest OS power and performance management |
Andrei Warkentin, Cyprien Laplace, Regis Duchesne, Ye Li |
2021-10-19 |
$8,511,000 |
| 11113071 |
Unified hypervisor image for multiple processor ISAs |
Cyprien Laplace, Andrei Warkentin, Shruthi Hiriyuru, Ye Li, Regis Duchesne +2 more |
2021-09-07 |
$7,009,000 |
| 11042485 |
Implementing firmware runtime services in a computer system |
Andrei Warkentin, Cyprien Laplace, Ye Li, Regis Duchesne |
2021-06-22 |
$7,349,000 |
| 10922253 |
Implementing interrupt remapping via input/output memory management unit faults |
Regis Duchesne, Cyprien Laplace, Ye Li, Andrei Warkentin |
2021-02-16 |
$6,754,000 |
| 10853284 |
Supporting PCI-e message-signaled interrupts in computer system with shared peripheral interrupts |
Andrei Warkentin, Ye Li, Cyprien Laplace |
2020-12-01 |
$5,371,000 |
| 10776287 |
Headless support using serial-based virtual consoles in a computing system |
Andrei Warkentin, Cyprien Laplace, Ye Li, Regis Duchesne |
2020-09-15 |
$8,159,000 |
