Liqiang Wang's Publications


    Ph.D. Thesis

  1. Liqiang Wang. Analysis of Synchronization Errors for Multithreaded Programs. Stony Brook University, NY, July 2006. [BibTex]. Advisor: Scott D. Stoller

    Journal Publications

  2. Wei Lu, Yuanyuan Cai, Liqiang Wang, and Weiwei Xing. Cloud Computing Research Analysis Using A Bibliometric Method To appear in International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing.

  3. Ping Guo*, Liqiang Wang. Accurate Cross-Architecture Performance Modeling for Sparse Matrix-Vector Multiplication (SpMV) on GPUs In Concurrency and Computation: Practice and Experience. First published online on 12 FEB 2014. Wiley Press.

  4. Ping Guo*, Liqiang Wang, and Po Chen. A Performance Modeling and Optimization Analysis Tool for Sparse Matrix-Vector Multiplication on GPUs. In IEEE Transactions on Parallel and Distributed Systems, Vol. 25, no. 5, pp. 1112-1123, May 2014. IEEE Press.

  5. Dawei Mu, Po Chen, and Liqiang Wang, Accelerating the discontinuous Galerkin method for seismic wave propagation simulations using multiple GPUs with CUDA and MPI. In Earthquake Science, Volume 26, Issue 6, pp 377-393, December 2013. Springer.

  6. Po Chen, En-Jui Lee, and Liqiang Wang, A cloud-based synthetic seismogram generator implemented using Windows Azure. In Earthquake Science, Volume 26, Issue 5, pp 321-329, October 2013. Springer.

  7. En-Jui Lee, He Huang*, John M. Dennis, Po Chen and Liqiang Wang, An optimized parallel LSQR algorithm for seismic tomography. In Computers and Geosciences, Volume 61, Pages 184-197, 2013. Elsevier.

  8. Dawei Mu, Po Chen, and Liqiang Wang. Accelerating the Discontinuous Galerkin Method for Seismic Wave Propagation Simulations Using the Graphic Processing Unit (GPU): Single-GPU Implementation. In Computers and Geosciences. Volume 51, February 2013, Pages 282-292. Elsevier.

  9. Qichang Chen*, Liqiang Wang, and Zijiang Yang. HEAT: A Combined Approach for Thread Escape Analysis . In International Journal of Systems Assurance Engineering and Management, Volume 2, Number 2, pages 135-143, 2011. Springer.

  10. En-Jui Lee, Po Chen, Thomas Jordan, and Liqiang Wang. Rapid Centroid Moment Tensor (CMT) Inversion in a Three-Dimensional Earth Structure Model for Earthquakes in Southern California. In Geophysical Journal International, Volume 186, Issue 1, pages 311-330, July 2011. Wiley.

  11. Dharma Teja Nukarapu, Bin Tang, Liqiang Wang, and Shiyong Lu. Data Replication in Data Intensive Scientific Applications With Performance Guarantee. In IEEE Transactions on Parallel and Distributed Systems, Volume 22, Issue 8, pages 1299 - 1306, August 2011. IEEE.

  12. Qichang Chen*, Liqiang Wang, Ping Guo*, and He Huang*. Analyzing Concurrent Programs for Potential Programming Errors (Book Chapter). In Modern Software Engineering Concepts and Practices. IGI Global. 2010.

  13. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, and Liqiang Wang. Detection of Deadlock Potentials in Multi-Threaded Programs . In IBM Journal of Research and Development , 54(5), September/October 2010.

  14. Liqiang Wang, Shiyong Lu, Xubo Fei, Artem Chebotko, H. Victoria Bryant*, and Jeffrey Ram. Atomicity and Provenance Support for Pipelined Scientific Workflows . In Journal of Future Generation Computer Systems. 25(5), pp.568-576. Elsevier Science Inc., 2009.

  15. Liqiang Wang and Scott D. Stoller. Runtime Analysis of Atomicity for Multi-threaded Programs. In IEEE Transactions on Software Engineering, 32(2): 93-110, Feb. 2006. [BibTex]

  16. R.D. Cowan, Alan McKendall Jr., Ali Mili, L. Yang, L. Wang, D. Chen, V. Janardhana, T. Spencer. Software Engineering Technology Watch. Information Sciences, 140(3-4): 195-215. Elsevier Science Inc., 2002.

    Conference and Workshop Publications

  17. Hongyi Ma*, Liqiang Wang, and Krishanthan Krishnamoorthy*. Detecting Thread-Safety Violations in Hybrid OpenMP/MPI Programs. In the 2015 IEEE International Conference on Cluster Computing (CLUSTER 2015), Sept. 2015. Chicago, USA. IEEE Press.

  18. Hong Zhang*, Zhibo Sun*, Zixia Liu*, Xu Chen, and Liqiang Wang. DART: A Geographic Information System on Hadoop. In the IEEE 8th International Conference on Cloud Computing (IEEE Cloud) (Research Track). June 27-July 2, 2015, New York, USA. IEEE Press.

  19. Weidong Wang*, Liqiang Wang, and Wei Lu. A Resilient Framework for Fault Handling in Web Service Oriented Systems . In the 22nd IEEE International Conference on Web Services (ICWS) . July, 2015, New York, USA. IEEE Press.

  20. Hong Zhang*, Liqiang Wang, Hai Huang. SMARTH: Enabling Multi-Pipeline Data Transfer in HDFS . In the 43nd International Conference on Parallel Processing (ICPP-2014). September 9-12, 2014. Minneapolis, USA. IEEE Press.

  21. Hongyi Ma*, Steve R. Diersen, Liqiang Wang, Chunhua Liao, Daniel Quinlan, and Zijiang Yang. Symbolic Analysis of Concurrency Errors in OpenMP Programs. In the 42nd International Conference on Parallel Processing (ICPP-2013). October 1-4, 2013, Lyon, France. IEEE Press.

  22. He Huang*, Liqiang Wang, Byung Chul Tak, Long Wang, and Chunqiang Tang. CAP3: A Cloud Auto-Provisioning Framework for Parallel Processing Using On-demand and Spot Instances. In the IEEE 6th International Conference on Cloud Computing(IEEE Cloud) (Research Track). June 27-July 2, 2013, Santa Clara, CA, USA. IEEE Press.

  23. He Huang*, John M. Dennis, Liqiang Wang, and Po Chen. A Scalable Parallel LSQR Algorithm for Solving Large-Scale Linear System for Tomographic Problems: A Case Study in Seismic Tomography. In the 2013 International Conference on Computational Science (ICCS) (main track). Procedia Computer Science, Elsevier, 2013.

  24. Weidong Wang*, Wei Lu, Liqiang Wang, Weiwei Xing, Zhao Li. A Ranking-based Approach for Service Composition with Multiple QoS Constraints . In 2012 International Conference on Information Technology and Software Engineering . Beijing China. Lecture Notes in Electrical Engineering, Springer-Verlag, 2012.

  25. Hongyi Ma*, Qichang Chen*, Liqiang Wang, Chunhua Liao, and Daniel Quinlan. Analyzing OpenMP programs for Concurrency Errors . In the 41st International Conference on Parallel Processing (ICPP) . Pittsburgh, PA. Poster Paper. IEEE Press, 2012.

  26. Ping Guo*, Liqiang Wang. Accurate CUDA Performance Modeling for Sparse Matrix-Vector Multiplication . In the 2012 International Conference on High Performance Computing & Simulation (HPCS 2012). Madrid, Spain. IEEE Press, 2012. Honorable mention for best paper candidate.

  27. He Huang*, Liqiang Wang, En-Jui Lee, and Po Chen. An MPI-CUDA Implementation and Optimization for Parallel Sparse Equations and Least Squares (LSQR). In the 2012 International Conference on Computational Science (ICCS) (main track). Procedia Computer Science, Elsevier, 2012.

  28. Qichang Chen*, Liqiang Wang, and Zijiang Yang. SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. In Haifa Verification Conference (HVC) 2011. Haifa, Israel. Dec. 2011. Springer-Verlag.

  29. Ping Guo*, He Huang*, Qichang Chen*, Liqiang Wang, En-Jui Lee, and Po Chen. A Model-Driven Partitioning and Auto-tuning Integrated Framework for Sparse Matrix-Vector Multiplication on GPUs. In the 2011 TeraGrid Conference. Salt Lake City, UT. ACM Press, 2011.

  30. Vedaprakash Subramanian*, Hongyi Ma*, Liqiang Wang, En-Jui Lee, and Po Chen. Rapid 3D Seismic Source Inversion using Windows Azure and Amazon EC2. In the 2nd IEEE Cloud Forum for Practitioners (ICFP 2011). Washington DC. IEEE Press, 2011.

  31. Steve Diersen*, En-Jui Lee, Diana Spears, Po Chen, and Liqiang Wang. Classification of Seismic Windows Using Artificial Neural Networks . In the 2011 International Conference on Computational Science (ICCS). Procedia Computer Science, Elsevier, 2011.

  32. Vedaprakash Subramanian*, Liqiang Wang, En-Jui Lee, and Po Chen. Rapid Processing of Synthetic Seismograms Using Windows Azure Cloud . In the 2nd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2010). Indianapolis, Indiana. IEEE Press, 2010.

  33. Ping Guo* and Liqiang Wang. Auto-Tuning CUDA Parameters for Sparse Matrix-Vector Multiplication on GPUs . In The 2010 International Conference on Computational and Information Sciences. Chengdu, China. IEEE Press, 2010.

  34. Mohamed Elwakil, Zijiang Yang, Liqiang Wang, and Qichang Chen*. Message Race Detection for Web Services by an SMT-Based Analysis. In The 7th International Conference on Autonomic and Trusted Computing (ATC 2010) . LNCS, Springer-Verlag. 2010.

  35. Mohamed Elwakil, Zijiang Yang, and Liqiang Wang. CRI: Symbolic Debugger for MCAPI Applications. In The 8th International Symposium on Automated Technology for Verification and Analysis (ATVA). Singapore. LNCS, Springer-Verlag. 2010.

  36. He Huang*, Liqiang Wang. P&P: a Combined Push-Pull Model for Resource Monitoring in Cloud Computing Environment. In The 3rd International Conference on Cloud Computing (IEEE CLOUD). Miami, Florida. IEEE Press, 2010.

  37. Qichang Chen*, Liqiang Wang. An Integrated Framework for Checking Concurrency-related Programming Errors. In the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC), Doctoral Symposium. Seattle, Washington. IEEE Press, 2009.

  38. Qichang Chen*, Liqiang Wang, Zijiang Yang. HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. In the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC). Seattle, Washington. IEEE Press, 2009.

  39. Qichang Chen*, Liqiang Wang, Zijiang Yang, and Scott D. Stoller. HAVE: Integrated Dynamic and Static Analysis for Atomicity Violations. In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE), European Joint Conferences on Theory and Practice of Software (ETAPS). York, UK. Springer-Verlag, 2009.

  40. Qichang Chen*, Liqiang Wang, Zongbo Shang. MRGIS: A MapReduce-Enabled High PerformanceWorkflow System for GIS. In the 3rd International Workshop on Scientific Workflows and Business Workflow Standards in e-Science (SWBES). Indianapolis, USA. IEEE Press, 2008.

  41. Zongmin Shang, Haiyang Wang, and Liqiang Wang. Running Smart Process Based on Goals. In the 12th International Conference on Computer Supported Cooperative Work in Design (CSCWD) . IEEE Press, 2008.

  42. Liqiang Wang, Shiyong Lu, Xubo Fei, and Jeffrey Ram. A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows. In the 2007 International Conference on Computational Science (ICCS). Springer-Verlag, 2007. [BibTex].

  43. Liqiang Wang and Scott D. Stoller. Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. In proceedings of the ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM Press, 2006. [BibTex]. An extended version appeared as Technical Report DAR-05-26, Sept. 2005 [PDF].

  44. Rahul Agarwal, Liqiang Wang, and Scott D. Stoller. Detecting Potential Deadlocks with Static Analysis and Runtime Monitoring. In Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference. Springer-Verlag, 2005. Best Paper Award. [BibTex]

  45. Rahul Agarwal, Amit Sasturkar, Liqiang Wang, and Scott D. Stoller. Optimized Run-Time Race Detection And Atomicity Checking Using Partial Discovered Types. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE) . ACM Press, 2005. [Bibex]

  46. Liqiang Wang and Scott D. Stoller. Static Analysis of Atomicity for Programs with Non-Blocking Synchronization. In Proceedings of the ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM Press, 2005. [BibTex]. An extended version appeared as Technical Report DAR-04-17, Oct. 2004 (revised Jan. 2005) [PDF].

  47. Amit Sasturkar, Rahul Agarwal, Liqiang Wang and Scott D. Stoller. Automated Type-Based Analysis of Data Races and Atomicity. In Proceedings of the ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM Press, 2005. [BibTex]

  48. Liqiang Wang and Scott D. Stoller. Run-Time Analysis for Atomicity. In Proceedings of the Third Workshop on Runtime Verification (RV03), volume 89(2) of Electronic Notes in Theoretical Computer Science. Elsevier, 2003. [BibTex]

    Technical Magazine Articles:

  49. Vedaprakash Subramanian*, Hongyi Ma*, Liqiang Wang, En-Jui Lee, and Po Chen. Azure Use Case Highlights Challenges for HPC Applications in the Cloud In HPC in the Cloud, feature article. February 21, 2011.

    Publications in Chinese

  50. Liqiang Wang and Changjie Tang. Web Mining Based on Temporal Database System. Symposium of the 14th National Database Conference of China, 1997. Best Student Paper Award.

  51. Wei Lu and Liqiang Wang. Query Optimization for a Commercial Database. Journal of Sichuan University, Jan. 1997.

  52. Wei Lu and Liqiang Wang. Visualization of Data Queries. Computer Engineering and Applications, May 1997.

  53. Liqiang Wang and Changjie Tang. Data Mining on Web, Computer Applications, Oct. 1998.

 

The authors marked with * are Dr. Wang's students.