Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Xupeng Li

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TaoSYLJCCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TaoSYLJCCG22
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu:
Giallar: push-button verification for the qiskit Quantum compiler. PLDI 2022: 641-656
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-00661
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-00661
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu:
Giallar: Push-Button Verification for the Qiskit Quantum Compiler. CoRR abs/2205.00661 (2022)
2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tkde/ShaoLCYC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tkde/ShaoLCYC21
Yingxia Shao, Xupeng Li, Yiru Chen, Lele Yu, Bin Cui:
Sys-TM: A Fast and General Topic Modeling System. IEEE Trans. Knowl. Data Eng. 33(6): 2790-2802 (2021)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/TaoYLLNG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/TaoYLLNG21
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu:
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. SOSP 2021: 866-881
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/LiLGNH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/LiLGNH21
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui:
A Secure and Formally Verified Linux KVM Hypervisor. IEEE Symposium on Security and Privacy 2021: 1782-1799
[c1]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/LiLGNH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/LiLGNH21
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui:
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. USENIX Security Symposium 2021: 3953-3970

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-08963
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-08963
Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu:
Contract-based verification of a realistic quantum compiler. CoRR abs/1908.08963 (2019)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/LiCCWZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/LiCCWZ17
Xupeng Li, Bin Cui, Yiru Chen, Wentao Wu, Ce Zhang:
MLog: Towards Declarative In-Database Machine Learning. Proc. VLDB Endow. 10(12): 1933-1936 (2017)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.