Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Alexander Du
Observed name:
Du, Alexander
Institution:
Duke University
Observed institution:
Duke University
ORCID:
0009-0003-5268-4934
Observed ORCID:
0009-0003-5268-4934
OpenAlex ID:
A5109725601
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
Did You Do Well? Real-Time Personalized Feedback on Catheter Placement in Augmented Reality-Assisted Neurosurgical Training
2024
·
Sangjun Eom
, Tiffany Ma
, et al.
·
IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW)
·
4
Vosti: Specifying, Implementing, and Verifying Deterministic LLM Inference
2026
·
Qin, Jianxing
, Du, Alexander
, et al.
·
arXiv (Cornell University)
·
2
PDF
Trellis: Bringing Compiler-Guided Repair into Agentic Code Generation
2026
·
Du, Alexander
, Ou, Jianjun
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
4
Citation count:
17
H-index:
2
I10-index:
1
Year
Topic
Type
