CUFinder

Xupeng Li

About Xupeng Li

Xupeng Li, With an exceptional h-index of 6 and a recent h-index of 6 (since 2020), a distinguished researcher at Columbia University in the City of New York, specializes in the field of Formal Verification.

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

Systems, methods, and media for verifying software

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor

Spoq: Scaling Machine-Checkable Systems Verification in Coq

Giallar: Push-button verification for the Qiskit quantum compiler

Design and verification of the arm confidential compute architecture

Formal verification of a multiprocessor hypervisor on arm relaxed memory hardware

A secure and formally verified Linux KVM hypervisor

Formally verified memory protection for a commodity multiprocessor hypervisor

Xupeng Li Information

University

Position

___

Citations(all)

265

Citations(since 2020)

258

Cited By

42

hIndex(all)

6

hIndex(since 2020)

6

i10Index(all)

6

i10Index(since 2020)

6

Email

University Profile Page

Google Scholar

Xupeng Li Skills & Research Interests

Formal Verification

Top articles of Xupeng Li

Systems, methods, and media for verifying software

2024/1/11

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor

2024

Shuang Liu
Shuang Liu

H-Index: 9

Vilhelm Sjöberg
Vilhelm Sjöberg

H-Index: 11

Xupeng Li
Xupeng Li

H-Index: 2

Yu Chen
Yu Chen

H-Index: 3

Wenhao Wang
Wenhao Wang

H-Index: 1

Yu Zhang
Yu Zhang

H-Index: 13

Ronghui Gu
Ronghui Gu

H-Index: 10

Spoq: Scaling Machine-Checkable Systems Verification in Coq

2023

Xupeng Li
Xupeng Li

H-Index: 2

Ronghui Gu
Ronghui Gu

H-Index: 10

Jason Nieh
Jason Nieh

H-Index: 26

Giallar: Push-button verification for the Qiskit quantum compiler

2022/5/2

Runzhou Tao
Runzhou Tao

H-Index: 4

Yunong Shi
Yunong Shi

H-Index: 6

Jianan Yao
Jianan Yao

H-Index: 2

Xupeng Li
Xupeng Li

H-Index: 2

Ronghui Gu
Ronghui Gu

H-Index: 10

Design and verification of the arm confidential compute architecture

2022/7/11

Xupeng Li
Xupeng Li

H-Index: 2

Ronghui Gu
Ronghui Gu

H-Index: 10

Jason Nieh
Jason Nieh

H-Index: 26

Formal verification of a multiprocessor hypervisor on arm relaxed memory hardware

2021/10/26

Runzhou Tao
Runzhou Tao

H-Index: 4

Jianan Yao
Jianan Yao

H-Index: 2

Xupeng Li
Xupeng Li

H-Index: 2

Shih-Wei Li
Shih-Wei Li

H-Index: 4

Jason Nieh
Jason Nieh

H-Index: 26

Ronghui Gu
Ronghui Gu

H-Index: 10

A secure and formally verified Linux KVM hypervisor

2021

Shih-Wei Li
Shih-Wei Li

H-Index: 4

Xupeng Li
Xupeng Li

H-Index: 2

Ronghui Gu
Ronghui Gu

H-Index: 10

Jason Nieh
Jason Nieh

H-Index: 26

Formally verified memory protection for a commodity multiprocessor hypervisor

2021

Shih-Wei Li
Shih-Wei Li

H-Index: 4

Xupeng Li
Xupeng Li

H-Index: 2

Ronghui Gu
Ronghui Gu

H-Index: 10

Jason Nieh
Jason Nieh

H-Index: 26

Systems, methods, and media for trusted hypervisors

2020/12/31

See List of Professors in Xupeng Li University(Columbia University in the City of New York)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine