Cloud Computing: IT as a Service. - Geng Lin; David Fu; Jinzy Zhu; Glenn Dasmalchi (IT Prof., 2009)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts. - Aaron Councilman; David Fu; Aryan Gupta; Chengxiao Wang; David Grove; Yu-Xiong Wang; Vikram S. Adve (CoRR, 2025)