Some of the content on this website requires JavaScript to be enabled in your web browser to function as intended. While the website is still usable without JavaScript, it should be enabled to enjoy the full interactive experience.

Skip to Main Navigation. Each navigation link will open a list of sub navigation links.

Skip to Main Content

Computer Science|College of Engineering and Applied Science

Liqiang (Eric) Wang


Associate Professor of Computer Science

Room 4079B, Engineering Building
University of Wyoming
College of Engineering and Applied Science
Department of Computer Science
Dept. 3315
1000 E. University Avenue
Laramie, WY 82071
lwang7@uwyo.edu
Phone: (307) 766-4226
Research and Course web page
Liqiang Wang

Education

  • Ph.D. SUNY Stony Brook 2006
  • M.S. Stony Brook University 2003
  • M.Eng. Sichuan University, China 1998
  • B.S. Hebei Normal University, China 1995

Professional Experience

  • 2012-present: Visiting Research Scientist, IBM T.J. Watson Research Center, Yorktown Heights, NY.
  • 2012-present: Associate Professor, Department of Computer Science, University of Wyoming.
  • 2006-2012: Assistant Professor, Department of Computer Science, University of Wyoming.

Research Interests
My research interest is the design and analysis of parallel computing systems. For design, I am currently working on data-intensive parallel computing for higher reliability, performance, and scalability on multicore CPU, GPU, supercomputer, as well as cloud computing platforms. For analysis, I am mainly working on the detection of concurrency errors and performance defects for large-scale HPC programs using program analysis.

Selected Publications

  • 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.
  • 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. To appear in Computers and Geosciences . Elsevier.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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. 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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. 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.

Share This Page:

Footer Navigation

University of Wyoming Medallion
 
1000 E. University Ave. Laramie, WY 82071 // UW Operators (307) 766-1121 // Contact Us // Download Adobe Reader