Research Papers

(Total citations: 246 as of November 5, 2011 by Google Scholar)

    Manuscripts Submitted

  1. Finding influential users of an online health community: a new metric based on sentiment influence, by Kang Zhao, Greta Greer, Baojun Qiu, Cornelia Caragea, Prasenjit Mitra, Dinghao Wu, Kenneth Portier, and John Yen. Submitted to Science.

  2. Semantic Aware Attribution Analysis of Remote Exploits, by Deguang Kong, Donghai Tian, Peng Liu, and Dinghao Wu. Submitted to Wiley Journal of Security and Communication Networks.

  3. Reactive Transport Modeling of Permeability Profile Modification with Leuconostoc Mesenteroides to Enhanced Oil Recovery, by Javier Vilcaez, Li Li, Dinghao Wu, and Susan Hubbard. Submitted to Springer Journal of Transport in Porous Media.

    Peer-reviewed Conference and Journal Publications

  4. A First Step Towards Algorithm Plagiarism Detection, by Fangfang Zhang, Yoon-Chan Jhi, Dinghao Wu, Peng Liu, and Sencun Zhu. In Proceedings of the 2012 ACM International Symposium on Software Testing and Analysis (ISSTA 2012), Minneapolis, MN, July 15–20, 2012. Accepted.

    (Acceptance ratio: 31/108 = 28.7%. ISSTA is the leading research symposium in software testing and analysis.)

  5. Towards Trusted Services: Result Verification Schemes for MapReduce, by Chu Huang, Sencun Zhu, and Dinghao Wu. In Proceedings of the 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2012), Ottawa, Canada, May 13–16, 2012. To appear.

    (Acceptance ratio: 83/302 = 27.5%. CCGrid is a major conference in the field of Cluster, Cloud and Grid computing.)

  6. BIM Server Requirements to Support the Energy Efficient Building Lifecycle, by Yufei Jiang, Jiang Ming, Dinghao Wu, John Yen, Prasenjit Mitra, John I. Messner, and Robert Leicht. In Proceedings of the 2012 ASCE International Conference on Computing in Civil Engineering (ASCE 2012), Special Session on BIM Computer Science Fundamentals, Clearwater Beach, FL, June 17–20, 2012. To appear.

  7. Kruiser: Semi-synchronized Non-blocking Concurrent Kernel Heap Buffer Overflow Monitoring, by Donghai Tian, Qiang Zeng, Dinghao Wu, Peng Liu, and Changzhen Hu. In Proceedings of the 19th Network and Distributed System Security Symposium (NDSS 2012), San Diego, California, February 5–8, 2012.

    (Acceptance ratio: 46/258 = 17.8%. NDSS is one of the top 3–5 conferences in security.)

  8. Identifying Leaders in an Online Cancer Survivor Community, by Kang Zhao, Baojun Qiu, Cornelia Caragea, Dinghao Wu, Prasenjit Mitra, John Yen, Greta E. Greer, and Kenneth Portier. In Proceedings of the 21st Annual Workshop on Information Technologies and Systems (WITS 2011), Shanghai, China, December 3–4, 2011.

  9. Get Online Support, Feel Better—Sentiment Analysis and Dynamics in an Online Cancer Survivor Community, by Baojun Qiu, Kang Zhao, Prasenjit Mitra, Dinghao Wu, Cornelia Caragea, John Yen, Greta E. Greer, and Kenneth Portier. In Proceedings of the Third IEEE International Conference on Social Computing (SocialCom 2011), Boston, USA, October 9–11, 2011.

    (Acceptance ratio: 9.8%. SocialCom is a top conference in social computing.)

  10. SA3: Automatic Semantic Aware Attribution Analysis of Remote Exploits, by Deguang Kong, Donghai Tian, Peng Liu, and Dinghao Wu. In Proceedings of the 7th International ICST Conference on Security and Privacy in Communication Networks (SecureComm 2011), London, UK, September 7–9, 2011.

    (Acceptance ratio: 23/92= 24.2%)

  11. Cruiser: Concurrent Buffer Overflow Monitoring Using Lock-free Data Structures, by Qiang Zeng, Dinghao Wu, and Peng Liu. In Proceedings of the 2011 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011), pages 367–377, San Jose, CA, USA, June 4–8, 2011.

    (Acceptance ratio: 55/236 = 23.0%. PLDI is one of the top 2 conferences in programming languages. See CiteSeer Estimated Venue Impact Factors.)

  12. Value-Based Program Characterization and Its Application to Software Plagiarism Detection, by Yoon-Chan Jhi, Xinran Wang, Xiaoqi Jia, Sencun Zhu, Peng Liu, and Dinghao Wu. In Proceedings of the ACM/IEEE 33rd International Conference on Software Engineering (ICSE 2011), Software Engineering in Practice Track, pages 756–765, Honolulu, Hawaii, USA, May 21–28, 2011.

    (Acceptance ratio: 18/100 = 18.0%. ICSE is one of the top 2 conferences in software engineering.)

  13. Classifying Text Messages for the Haiti Earthquake, by Cornelia Caragea, Nathan McNeese, Anuj Jaiswal, Greg Traylor, Hyun-Woo Kim, Prasenjit Mitra, Dinghao Wu, Andrea Tapia, C. Lee Giles, Jim Jansen, John Yen. In Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2011), Lisbon, Portugal, May 8–11, 2011.

    (ISCRAM is a top conference in crisis management.)

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

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

    The KISS project was started with Shaz Qadeer in Summer 2003, and reviewed by Bill Gates in Summer 2004. The KISS technology has been implemented in the Static Driver Verifier (SDV, the product version of SLAM), which is being released as part of Windows Vista and Windows 7, and is now routinely used to check Windows Device Drivers. This is the first work on analyzing concurrent software with sequential analysis, and has been followed by many other researchers. There are 118 citations as of November 5, 2011 by Google Scholar. PLDI is one of the top 2 conferences in programming languages.

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

    (22 citations as of November 5, 2011 by Google Scholar. VMCAI is a top conference in software verification and analysis.)

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

    (40 citations as of November 5, 2011 by Google Scholar. PPDP is a top conference on declarative programming.)

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

    (46 citations as of November 5, 2011 by Google Scholar. PLDI is one of the top 2 conferences in programming languages.)

  18. (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.

  19. (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.

  20. (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.

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

    Workshop Papers, Technical Reports, Posters, and Abstracts

  22. Leadership and Sentiment Analysis of An Online Cancer Support Community Using Computational Text Mining, by Kenneth Portier, Greta Greer, John Yen, Prasenjit Mitra, Kang Zhao, Baojun Qiu, Dinghao Wu, and Cornelia Caragea. Abstract for presentation at The 6th Biennial Cancer Survivorship Research Conference: Translating Science to Care. Arlington, VA, June 14–16, 2012.

  23. Analyzing regional advantage by means of patent co-inventor network: A case study, by Weiling Li, John Yen, Zhen Lei, and Dinghao Wu. Abstract for presentation at Sunbelt 2012: 32st Annual conference of the International Network for Social Network Analysis (INSNA). Redondo Beach, CA, March 13–18, 2012.

  24. Who are the influential users?—A new metric based on sentimental influence, by Kang Zhao, Baojun Qiu, Cornelia Caragea, Dinghao Wu, Prasenjit Mitra, John Yen, Greta E. Greer, and Kenneth Portier. Abstract for presentation at Sunbelt 2012: 32st Annual conference of the International Network for Social Network Analysis (INSNA). Redondo Beach, CA, March 13–18, 2012.

  25. Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis, by Yue Yang, Anna Gringauze, Dinghao Wu, and Henning Rohde, Technical Report MSR-TR-2008-108, Microsoft Research, August 2008.

    Theses

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

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

  28. (in Chinese) Computer Simulation of Free Turbulent Jets. Bachelor Thesis. Department of Chemical Engineering, Nanjing Institute of Chemical Technology. June 1996.

    Patents

  29. Data Race Detection Using Sequential Program Analysis. (Shaz Qadeer and Dinghao Wu), US Patent US7316005. Issued on January 01, 2008.

    (8 citations as of November 5, 2011 by Google Scholar)

  30. Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis. (Yue Yang, Anna Gringauze, Dinghao Wu, and Henning Rohde), US Patent Application 327545.01. Filed in July 2009.

    (5 citations as of November 5, 2011 by Google Scholar)