David Fu

According to our database, David Fu authored at least 2 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

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, July, 2025

2009

Cloud Computing: IT as a Service.

Geng Lin, David Fu, Jinzy Zhu, Glenn Dasmalchi

IT Prof., 2009