Google Scholar

Publications at top-tier venues:

IEEE S&P [CryptoHunt, D2C2, PolyGlot],
CCS [LOOP, VMHunt, Squirrel],
USENIX Security [Uroboros, TaintPipe, BinSim, CacheD, CacheS],
NDSS [Kruiser, TortoiseFuzz],
IEEE Euro S&P [Babel, ROP],
IEEE Trans. on Inf. Forensics & Sec. [Xmark],
PLDI [Cruiser, KISS, LTAL],
ICSE [AbacusAutoGraderObfuscation study IObfuscation study IILibD, PackerGrind, VaPD],
FSE [CoP],
ASE [PiE, StraightTaint, IMF],
ISSTA [AlgPlg],
IEEE Trans. Software Eng. (TSE) [PackerGrind, LibDCoP, VaPD],
IEEE Trans. Cloud Computing (TCC) [Kruiser],
Software: Practice and Experience [Obfuscation study],
AAAI [DeepFuzz].

* Student or postdoc I supervise or supervised.
† Student supervised at the time the research was done.












Publications before joined PSU (2005–2009 in industry, see the patent section)

    • KISS: Keep It Simple and Sequential, by Shaz Qadeer and Dinghao Wu. In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2004), pages 14–24, Washington DC, June 9–11, 2004.
    • Construction of a Semantic Model for a Typed Assembly Language, by Gang Tan, Andrew W. Appel, Kedar N. Swadi, and Dinghao Wu. In Proceedings of the 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.
    • Foundational Proof Checkers with Small Witnesses, by Dinghao Wu, Andrew W. Appel, and Aaron Stump. In Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pages 264–274, Uppsala, Sweden, August 27–29, 2003.
    • A Provably Sound TAL for Back-end Optimization, by Juan Chen, Dinghao Wu, Andrew W. Appel, and Hai Fang. In Proceedings of the 2003 ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), pages 208–219, San Diego, California, June 8–11, 2003.
    • (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.
    • (in Chinese) Researches on Software Interoperability, by Junhua Ding, Huan Dong, Dinghao Wu, and Jian Lu. Computer Research and Development, 35(7):577–583, 1998.
    • (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.
    • 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.

Technical Reports


    • Interfacing Compilers, Proof Checkers, and Proofs for Foundational Proof-Carrying Code. Ph.D. thesis, Department of Computer Science, Princeton University, 2005.
    • 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.
    • (in Chinese) Numerical Simulation of Free Turbulent Jets. Bachelor Thesis. Department of Chemical Engineering, Nanjing University of Chemical Technology. June 1996.


    • Data Race Detection Using Sequential Program Analysis. (Shaz Qadeer and Dinghao Wu), US Patent US7316005. Issued on January 01, 2008.
    • Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis. (Yue Yang, Anna Gringauze, Dinghao Wu, and Henning Rohde), US Patent 8,510,722. Issued on August 13, 2013.