Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Liqiang Wang's Homepage
[go: Go Back, main page]

 Liqiang Wang

 

  Ph.D. Candidate

  Department of Computer Science

  State University of New York ( SUNY) at Stony Brook

  Stony Brook,  NY  11794-4400, U.S.A.

  Phone: (631)632-8465

  Fax: (631)632-8334

  Email: liqiang@cs.sunysb.edu

 

Research Interests               Publications                Presentations

 

Research Interests

My research has focused on improving the reliability of software. I have designed and implemented several algorithms for effective testing, analysis, and verification of concurrent programs. I am also interested in parallel and distributed systems, computer security, verification, database systems, and data mining.

My Ph.D. advisor is Prof. Scott D. Stoller.

 

Publications

Journal Publications

  1. 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]        

  2. Liqiang Wang and Scott D. Stoller. Static Analysis of Atomicity for Programs with Non-Blocking Synchronization. Submitted.

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

Conference and Workshop Publications

  1. Liqiang Wang and Scott D. Stoller. Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. To appear 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].

  2. 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]

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

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

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

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

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

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

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

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

Talks

  1. Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP),  at New York City, March 2006.

  2. Static Analysis of Atomicity for Programs with Non-Blocking Synchronization. New Jersey Programming Languages Seminar (NJPLS),  at Stevens Institute of Technology, Sept. 2005.

  3. Static Analysis of Atomicity for Programs with Non-Blocking Synchronization. ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP),  at Chicago IL, Jun. 2005.

  4. Static Analysis of Atomicity for Programs. Graduate Research Conference, Department of Computer Science, Stony Brook University, May 2005.

  5. Runtime Analysis of Atomicity for Multi-threaded Programs. Graduate Research Conference, Department of Computer Science, Stony Brook University, May 2004.

  6. Analyzing Atomicity for Concurrent Programs. Ph.D. Research Proficiency Examination Presentation, Department of Computer Science, Stony Brook University, Aug. 2003.

  7. Runtime Analysis for Atomicity. The Third Workshop on Runtime Verification (RV03), at Boulder CO, July 2003

Others

Estimated Impact of Publication Venues in Computer Science by CiteSeer.

Unofficial Computer Science Journal Rankings.

Unofficial Computer Science Conference Rankings.

updated this page on 1/30/2006.

There are  Vistor's Counter visitors since 07/01/2001.