|
Search the dblp DataBase
Dinghao Wu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang
A provably sound TAL for back-end optimization. [Citation Graph (0, 0)][DBLP] PLDI, 2003, pp:208-219 [Conf]
- Shaz Qadeer, Dinghao Wu
KISS: keep it simple and sequential. [Citation Graph (0, 0)][DBLP] PLDI, 2004, pp:14-24 [Conf]
- Dinghao Wu, Andrew W. Appel, Aaron Stump
Foundational proof checkers with small witnesses. [Citation Graph (0, 0)][DBLP] PPDP, 2003, pp:264-274 [Conf]
- Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu
Construction of a Semantic Model for a Typed Assembly Language. [Citation Graph (0, 0)][DBLP] VMCAI, 2004, pp:30-43 [Conf]
Search in 0.001secs, Finished in 0.001secs
|