Alexander Du

I am a third-year Ph.D. student in Computer Science at Duke University, advised by Prof. Matthew Lentz and Prof. Danyang Zhuo. I received my B.S. in Computer Science and Mathematics from Duke in 2024.

My research interests broadly span machine learning systems. I currently focus on fine-grained GPU resource management. My previous work sits at the intersection of programming languages and machine learning, including code generation, proof synthesis, and verification of ML systems.

Outside of research, I play piano and violin, go rock climbing, and practice calligraphy.

Publications

2026

Preprint

Trellis: Bringing Compiler-Guided Repair into Agentic Code Generation

Alexander Du, Jianjun Ou, Danyang Zhuo, and Matthew Lentz

arXiv preprint arXiv:2605.15238, 2026

arXiv Bib

@article{du2026trellis,
  title = {Trellis: Bringing Compiler-Guided Repair into Agentic Code Generation},
  author = {Du, Alexander and Ou, Jianjun and Zhuo, Danyang and Lentz, Matthew},
  journal = {arXiv preprint arXiv:2605.15238},
  year = {2026},
  archiveprefix = {arXiv},
}

2025

HotOS

Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark

Jianxing Qin, Alexander Du, Danfeng Zhang, Matthew Lentz, and Danyang Zhuo

In Workshop on Hot Topics in Operating Systems (HotOS), 2025

DOI Bib Code Slides

@inproceedings{qin2025fscq,
  title = {Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark},
  author = {Qin, Jianxing and Du, Alexander and Zhang, Danfeng and Lentz, Matthew and Zhuo, Danyang},
  booktitle = {Workshop on Hot Topics in Operating Systems (HotOS)},
  year = {2025},
  doi = {10.1145/3713082.3730382},
}

2024

IEEE VRW

Did You Do Well? Real-Time Personalized Feedback on Catheter Placement in Augmented Reality-Assisted Neurosurgical Training

Sangjun Eom, Tiffany Ma, Neha Vutakuri, Alexander Du, Zhehan Qu, Joshua Jackson, and Maria Gorlatova

In IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), 2024

DOI Bib

@inproceedings{eom2024catheter,
  title = {Did You Do Well? Real-Time Personalized Feedback on Catheter Placement in Augmented Reality-Assisted Neurosurgical Training},
  author = {Eom, Sangjun and Ma, Tiffany and Vutakuri, Neha and Du, Alexander and Qu, Zhehan and Jackson, Joshua and Gorlatova, Maria},
  booktitle = {IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW)},
  year = {2024},
  doi = {10.1109/VRW62533.2024.00398}
}