Shih-Wei Li

Columbia University in the City of New York

H-index: 9

North America-United States

About Shih-Wei Li

Shih-Wei Li, With an exceptional h-index of 9 and a recent h-index of 8 (since 2020), a distinguished researcher at Columbia University in the City of New York, specializes in the field of Operating Systems, Security, Virtualization.

His recent articles reflect a diverse array of research interests and contributions to the field:

Formal verification of a multiprocessor hypervisor on arm relaxed memory hardware

A secure and formally verified Linux KVM hypervisor

A Secure and Formally Verified Commodity Multiprocessor Hypervisor

Formally verified memory protection for a commodity multiprocessor hypervisor

Systems, methods, and media for trusted hypervisors

Shih-Wei Li Information

University	Columbia University in the City of New York
Position	___
Citations(all)	313
Citations(since 2020)	284
Cited By	87
hIndex(all)	9
hIndex(since 2020)	8
i10Index(all)	8
i10Index(since 2020)	8
Email	Access Email
University Profile Page	Columbia University in the City of New York
Google Scholar	View Google Scholar Profile

Shih-Wei Li Skills & Research Interests

Operating Systems

Security

Virtualization

Shih-Wei Li

Columbia University in the City of New York

About Shih-Wei Li

Shih-Wei Li Information

Shih-Wei Li Skills & Research Interests

Top articles of Shih-Wei Li

Formal verification of a multiprocessor hypervisor on arm relaxed memory hardware

Runzhou Tao

Jianan Yao

Xupeng Li

Shih-Wei Li

Jason Nieh

Ronghui Gu

A secure and formally verified Linux KVM hypervisor

Shih-Wei Li

Xupeng Li

Ronghui Gu

Jason Nieh

A Secure and Formally Verified Commodity Multiprocessor Hypervisor

Shih-Wei Li

Formally verified memory protection for a commodity multiprocessor hypervisor

Shih-Wei Li

Xupeng Li

Ronghui Gu

Jason Nieh

Systems, methods, and media for trusted hypervisors