| 2009 |
|---|
| 11 | EE | Qichang Chen,
Liqiang Wang,
Zijiang Yang,
Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.
FASE 2009: 425-439 |
| 2008 |
|---|
| 10 | EE | Zongmin Shang,
Haiyang Wang,
Liqiang Wang,
Hui Li,
Yongquan Dong:
Running smart process based on goals.
CSCWD 2008: 427-433 |
| 2007 |
|---|
| 9 | EE | Wenxue Hong,
Hui Meng,
Liqiang Wang,
Jialin Song:
Research on Patterns of Cancer Markers Based on Cross Section Imaging of Serum Proteomic Data.
ICIC (1) 2007: 1231-1239 |
| 8 | EE | Liqiang Wang,
Shiyong Lu,
Xubo Fei,
Jeffrey L. Ram:
A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows.
International Conference on Computational Science (3) 2007: 244-252 |
| 2006 |
|---|
| 7 | EE | Liqiang Wang,
Scott D. Stoller:
Accurate and efficient runtime detection of atomicity errors in concurrent programs.
PPOPP 2006: 137-146 |
| 6 | EE | Liqiang Wang,
Scott D. Stoller:
Runtime Analysis of Atomicity for Multithreaded Programs.
IEEE Trans. Software Eng. 32(2): 93-110 (2006) |
| 2005 |
|---|
| 5 | EE | Rahul Agarwal,
Amit Sasturkar,
Liqiang Wang,
Scott D. Stoller:
Optimized run-time race detection and atomicity checking using partial discovered types.
ASE 2005: 233-242 |
| 4 | EE | Rahul Agarwal,
Liqiang Wang,
Scott D. Stoller:
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.
Haifa Verification Conference 2005: 191-207 |
| 3 | EE | Liqiang Wang,
Scott D. Stoller:
Static analysis of atomicity for programs with non-blocking synchronization.
PPOPP 2005: 61-71 |
| 2 | EE | Amit Sasturkar,
Rahul Agarwal,
Liqiang Wang,
Scott D. Stoller:
Automated type-based analysis of data races and atomicity.
PPOPP 2005: 83-94 |
| 2003 |
|---|
| 1 | EE | Liqiang Wang,
Scott D. Stoller:
Run-Time Analysis for Atomicity.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
