Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jianxing Qin
Observed name:
Qin, Jianxing
Institution:
Duke University
Observed institutions:
Duke University,
Shanghai Jiao Tong University
ORCID:
0009-0004-1581-9577
Observed ORCID:
0009-0004-1581-9577
OpenAlex ID:
A5014455770
VST-A: A Foundationally Sound Annotation Verifier
2024
·
Litao Zhou
, Jianxing Qin
, et al.
·
Proceedings of the ACM on Programming Languages
·
21
PDF
Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark
2025
·
Jianxing Qin
, Alexander Du
, et al.
·
Workshop on Hot Topics in Operating Systems
·
11
PDF
Vosti: Specifying, Implementing, and Verifying Deterministic LLM Inference
2026
·
Qin, Jianxing
, Du, Alexander
, et al.
·
arXiv (Cornell University)
·
2
PDF
Phantora: Maximizing Code Reuse in Simulation-based Machine Learning System Performance Estimation
2025
·
Qin, Jianxing
, Chen, Jingrong
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
5
Citation count:
35
H-index:
2
I10-index:
2
Year
Topic
Type
