Sotabase

Career

· Software Engineer, Databricks2024–
· Intern, Meta2022–2022
· Research Intern, CertiK2021–2021
· Master of Science - MS in Computer Science, Columbia University2019–2021
· Research Assistant, Columbia University2018–2024
· Intern, Microsoft2018–2018
· Research Assistant, Peking University2016–2018
· Bachelor of Science - BS in Computer Science, Peking University2012–2016

Publications (37)

A Secure and Formally Verified Linux KVM Hypervisor
IEEE Symposium on Security and Privacy · 2021
66
cited
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Symposium on Operating Systems Principles · 2021
43
cited
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
USENIX Security Symposium · 2021
42
cited
Molecular cloning and characterization of a cathepsin B gene from the Chinese shrimp Fenneropenaeus chinensis.
Fish and Shellfish Immunology · 2013
37
cited
Giallar: push-button verification for the qiskit Quantum compiler
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
34
cited
Transcriptome analysis of ‘Huanghai No. 2’ Fenneropenaeus chinensis response to WSSV using RNA‐seq
Fish and Shellfish Immunology · 2018
33
cited
The identification of microRNAs involved in the response of Chinese shrimp Fenneropenaeus chinensis to white spot syndrome virus infection
Fish and Shellfish Immunology · 2017
32
cited
Identification, cloning and characterization of an extracellular signal-regulated kinase (ERK) from Chinese shrimp, Fenneropenaeus chinensis.
Fish and Shellfish Immunology · 2013
27
cited
Screening of the candidate genes related to low-temperature tolerance of Fenneropenaeus chinensis based on high-throughput transcriptome sequencing
PLoS ONE · 2019
18
cited
Changes in microbial composition and quality characteristics of yellowfin tuna under different storage temperature
2021
17
cited
Contract-based verification of a realistic quantum compiler
arXiv.org · 2019
16
cited
cDNA cloning and expression analysis of a phosphopyruvate hydratase gene from the chinese shrimp Fenneropenaeus chinensis
Fish and Shellfish Immunology · 2017
10
cited
Segregation distortion: high genetic load suggested by a Chinese shrimp family under high-intensity selection
Scientific Reports · 2020
10
cited
Investigation of Pathogenic Mechanism of Covert Mortality Nodavirus Infection in Penaeus vannamei
Frontiers in Microbiology · 2022
9
cited
Comparative microarray profile of the hepatopancreas in the response of "Huanghai No. 2" Fenneropenaeus chinensis to white spot syndrome virus.
Fish and Shellfish Immunology · 2016
8
cited
Comparative transcriptomic analysis of Chinese shrimp Fenneropenaeus chinensis infected with white spot syndrome virus
Aquaculture Reports · 2022
8
cited
Isolation and expression analysis of an MAPKK gene from Fenneropenaeus chinensis in response to white spot syndrome virus infection.
Fish and Shellfish Immunology · 2016
8
cited
Spoq: Scaling Machine-Checkable Systems Verification in Coq
USENIX Symposium on Operating Systems Design and Implementation · 2023
8
cited
Enabling Realms with the Arm Confidential Compute Architecture
6
cited
Comparisons and genetic assessments of WSSV resistance and growth in strain cross of Litopenaeus vannamei
Aquaculture Reports · 2023
4
cited
Sotabase
Xupeng Li | Researcher Profile | Sotabase | Sotabase