Travelled to:1 × United Kingdom
3 × USA
Collaborated with:S.D.Stoller R.Agarwal A.Sasturkar Q.Chen Z.Yang
Talks about:atom (5) analysi (3) detect (3) program (2) static (2) type (2) race (2) synchron (1) partial (1) concurr (1)
Person: Liqiang Wang
DBLP: Wang:Liqiang
Contributed to:
2009
2006
20052005Wrote 5 papers:
- FASE-2009-ChenWYS #detection #named #static analysis
- HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis (QC, LW, ZY, SDS), pp. 425–439.
- PPoPP-2006-WangS #concurrent #detection #fault #performance #runtime #source code
- Accurate and efficient runtime detection of atomicity errors in concurrent programs (LW, SDS), pp. 137–146.
- ASE-2005-AgarwalSWS #concurrent #detection #runtime #using
- Optimized run-time race detection and atomicity checking using partial discovered types (RA, AS, LW, SDS), pp. 233–242.
- PPoPP-2005-SasturkarAWS #analysis #automation #type system
- Automated type-based analysis of data races and atomicity (AS, RA, LW, SDS), pp. 83–94.
- PPoPP-2005-WangS #source code #static analysis
- Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.