Publications

Google Scholar

Publications at top-tier venues:

IEEE S&P [CryptoHunt],
CCS [LOOP],
USENIX Security [Uroboros, TaintPipe, BinSim, CacheD],
NDSS [Kruiser],
PLDI [Cruiser, KISS, LTAL],
ICSE [Obfuscation study IObfuscation study IILibD, PackerGrind, VaPD],
FSE [CoP],
ISSTA [AlgPlg],
ASE [PiE, StraightTaint, IMF],
TSE [CoP, VaPD].

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

2018

  • Software Protection on the Go: A Large-Scale Empirical Study on Mobile App Obfuscation, by Pei Wang, Qinkun Bao, Li Wang, Shuai Wang, Zhaofeng Chen, Tao Wei, and Dinghao Wu. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, May 27 – June 3, 2018. (Acceptance rate: 105/502 = 20.9%) Accepted.
  • Protecting Million-User iOS Apps with Obfuscation: Motivations, Pitfalls, and Experience, by Pei Wang*, Dinghao Wu, Zhaofeng Chen, and Tao Wei. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018), Software Engineering in Practice (SEIP) Track, Gothenburg, Sweden, May 27 – June 3, 2018. Accepted.
  • From Natural Language to Programming Language, by Xiao Liu* and Dinghao Wu. Book chapter in Steve Goschnick (Ed.), Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in People-Oriented Programming. 2018. In press.

2017

2016

2015

2014

2013

2012

2011

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

Theses

    • 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.

Patents

    • 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.