BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wang:Liqiang

Contributed to:

FASE 20092009
PPoPP 20062006
ASE 20052005
PPoPP 20052005

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.