Dengping Zhu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2003–2010
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICTAC | A Modality for Safe Resource Sharing and Code Reentrancy. | Rui Shi, Dengping Zhu, Hongwei Xi |
| 2005 | PADL | Safe Programming with Pointers Through Stateful Views. | Dengping Zhu, Hongwei Xi |
| 2004 | PADL | Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. | Chiyan Chen, Dengping Zhu, Hongwei Xi |
| 2003 | APLAS | A Typeful and Tagless Representation for XML Documents. | Dengping Zhu, Hongwei Xi |