Liqiang Wang

Ph.D. Thesis

1. Liqiang Wang. Analysis of Synchronization Errors for Multithreaded Programs. Stony Brook University, NY, July 2006. [BibTex] [PDF].

   Journal Publications

2. Liqiang Wang, Shiyong Lu, Xubo Fei, Artem Chebotko, H. Victoria Bryant, and Jeffrey Ram. Atomicity and Provenance Support for Pipelined Scientific Workflows. To appear in Journal of Future Generation Computer Systems. Elsevier Science Inc., 2009. [PDF]

3. 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] [PDF]

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

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

6. 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. [PDF]

7. Liqiang Wang, Shiyong Lu, Xubo Fei, and Jeffrey Ram. A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows. In the 2nd International Workshop on Workflow systems in e-Science (WSES07), in conjunction with International Conference on Computational Science (ICCS). Springer-Verlag, 2007. [BibTex] [PDF].

8. 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] [PDF]. An extended version appeared as Technical Report DAR-05-26, Sept. 2005 [PDF].

9. 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] [PDF]

10. 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] [PDF]

11. 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] [PDF]. An extended version appeared as Technical Report DAR-04-17, Oct. 2004 (revised Jan. 2005) [PDF].

12. 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] [PDF]

13. 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] [PDF]

    Publications in Chinese

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

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

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

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

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