Xupeng Li

16 papers A* 6Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Design, Analysis, and Verification of a Constant Current Circuit With Settling Time at Microsecond Level for Shape Memory Alloy Actuators.
IEEE Trans. Ind. Electron.
Shihao Zhou, Zhiwei Liu, Lei Qu, Xiaoyuan Wang, Xupeng Li, Wenhui Zhang, Jiaming Leng, Dawei Huang, Xiaojun Yan
2025 — conf
Influence of the Gate Switching Instability Induced Threshold Voltage Drift on the Hard Switching Behavior of 1.2 kV SiC MOSFETs.
IRPS
Roman Boldyrjew-Mast, Clemens Herrmann, Xing Liu, Xupeng Li, Thomas Basler
2025 J jnl
Physical Visualization Design: Decoupling Interface and System Design.
Proc. ACM Manag. Data
Yiru Chen, Xupeng Li, Jeffrey Tao, Lana Ramjit, Subrata Mitra, Javad Ghaderi, Ravi Netravali, Aditya G. Parameswaran, Dan Rubenstein, Eugene Wu
2024 — conf
An HCPS-Based Inspection Method for Bearing Assembly Quality of Coarse Pointing Mechanism.
CASE
Bingtao Hu, Xupeng Li, Yixiong Feng, Dinghao Cheng, Zetian Zhao, Yong Wang, Jianrong Tan
2024 — conf
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.
ASPLOS (2)
Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He
2023 J jnl
A Method for Autonomous Generation of High-Precision Time Scales for Navigation Constellations.
Sensors
Shitao Yang, Xiao Yi, Richang Dong, Qianyi Ren, Xupeng Li, Tao Shuai, Jun Zhang, Wenbin Gong
2023 A* conf
Spoq: Scaling Machine-Checkable Systems Verification in Coq.
OSDI
Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh
2022 A* conf
Design and Verification of the Arm Confidential Compute Architecture.
OSDI
Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell
2022 J jnl
Giallar: Push-Button Verification for the Qiskit Quantum Compiler.
CoRR
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
2022 A* conf
Giallar: push-button verification for the qiskit Quantum compiler.
PLDI
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
2021 A* conf
A Secure and Formally Verified Linux KVM Hypervisor.
SP
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
2021 A* conf
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware.
SOSP
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu
2021 A* conf
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor.
USENIX Security Symposium
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
2021 J jnl
Sys-TM: A Fast and General Topic Modeling System.
IEEE Trans. Knowl. Data Eng.
Yingxia Shao, Xupeng Li, Yiru Chen, Lele Yu, Bin Cui
2019 J jnl
Contract-based verification of a realistic quantum compiler.
CoRR
Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
2017 J jnl
MLog: Towards Declarative In-Database Machine Learning.
Proc. VLDB Endow.
Xupeng Li, Bin Cui, Yiru Chen, Wentao Wu, Ce Zhang