The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Liqiang Wang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rahul Agarwal, Liqiang Wang, Scott D. Stoller
    Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:191-207 [Conf]
  2. Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller
    Optimized run-time race detection and atomicity checking using partial discovered types. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:233-242 [Conf]
  3. Liqiang Wang, Scott D. Stoller
    Static analysis of atomicity for programs with non-blocking synchronization. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2005, pp:61-71 [Conf]
  4. Liqiang Wang, Scott D. Stoller
    Accurate and efficient runtime detection of atomicity errors in concurrent programs. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2006, pp:137-146 [Conf]
  5. Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller
    Automated type-based analysis of data races and atomicity. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2005, pp:83-94 [Conf]
  6. Liqiang Wang, Scott D. Stoller
    Run-Time Analysis for Atomicity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  7. Liqiang Wang, Scott D. Stoller
    Runtime Analysis of Atomicity for Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:2, pp:93-110 [Journal]
  8. Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram
    A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (3), 2007, pp:244-252 [Conf]
  9. Wenxue Hong, Hui Meng, Liqiang Wang, Jialin Song
    Research on Patterns of Cancer Markers Based on Cross Section Imaging of Serum Proteomic Data. [Citation Graph (0, 0)][DBLP]
    ICIC (1), 2007, pp:1231-1239 [Conf]

  10. CRI: Symbolic Debugger for MCAPI Applications. [Citation Graph (, )][DBLP]


  11. An Integrated Framework for Checking Concurrency-Related Programming Errors. [Citation Graph (, )][DBLP]


  12. HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. [Citation Graph (, )][DBLP]


  13. Running smart process based on goals. [Citation Graph (, )][DBLP]


  14. HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002