Research Papers

  1. Typestate-Guided Concurrency Analysis, (with Yue Yang, Anna Gringauze, and Henning Rohde), submitted for publication.

  2. Exception Handling Error Detection via Static Binary Code Analysis, by Wei Le, Dinghao Wu, Arild Skjolsvold, and Thirumalesh Bhat, Technical Report.

  3. KISS: Keep It Simple and Sequential, by Shaz Qadeer and Dinghao Wu. In PLDI 2004: ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, pages 14-24, Washington DC, June 9-11, 2004.

  4. Construction of a Semantic Model for a Typed Assembly Language, by Gang Tan, Andrew W. Appel, Kedar N. Swadi, and Dinghao Wu. In 5th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '04). Springer-Verlag Lecture Notes in Computer Science (LNCS 2937), pages 30-43, Venice, Italy, January 2004.

  5. Foundational Proof Checkers with Small Witnesses, by Dinghao Wu, Andrew W. Appel and Aaron Stump. In PPDP 2003: Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, pages 264-274, Uppsala, Sweden, August 27-29, 2003.

  6. A Provably Sound TAL for Back-end Optimization, by Juan Chen, Dinghao Wu, Andrew W. Appel, and Hai Fang. In PLDI 2003: ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 208-219, San Diego, California, June 8-11, 2003.

  7. (in Chinese) On Theoretical Basis of a State-Space Based Approach to the Design of Hybrid Systems, by Dinghao Wu and Jian Lu. Journal of Nanjing University (Natural Sciences), 35(5):564-572, 1999.

  8. (in Chinese) Software Interoperability: A Comparison Study of CORBA and Other Approaches, by Junhua Ding, Huan Dong, Dinghao Wu, and Jian Lu. Computer Research and Development, 35(7):577-583, 1998.

  9. (in Chinese) A State-Space Based Approach to the Design of Hybrid Systems, by Dinghao Wu and Jian Lu. In Proceedings of the 7th National Conference of Young Computer Scientists (NCYCS '98), pages 48-53, Shanghai, China, October 1998. China Computer Federation (CCF), Shanghai Sci-Tech Press.

  10. Two-Dimensional Dealiasing of Doppler Velocities, by Guoqing Liu, Wenzhong Ge, Xueru Zhang, Dinghao Wu, and Ji Zhou. In Proceedings of the 27th International Conference on Radar Meteorology. American Meteorological Society. Vail, Colorado, October 9-13, 1995.

    Patent

  11. Data Race Detection Using Sequential Program Analysis. with Shaz Qadeer. Filed on January 26, 2004 (Microsoft Corporation) as US Application Serial No. 10/765,717.

    Theses

  12. Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code. PhD thesis, Department of Computer Science, Princeton University, 2005.

  13. A State-Space Based Approach to the Specification and Verification of Hybrid Systems and Its Axiomatic Basis. Master's Thesis. Department of Computer Science, Nanjing University. May 1999.

  14. (in Chinese) Computer Simulation of Free Turbulent Jets. Senior Thesis. Department of Chemical Engineering, Nanjing Institute of Chemical Technology. June 1996.
The documents contained in these pages are included to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.