Travelled to:
1 × Italy
1 × South Africa
2 × USA
Collaborated with:
X.Zhang S.Jagannathan W.N.Sumner Y.Zheng
Talks about:
concurr (2) analyz (2) use (2) bug (2) reproduct (1) multicor (1) facilit (1) correct (1) context (1) accentu (1)
Person: Dasarath Weeratunge
DBLP: Weeratunge:Dasarath
Contributed to:
Wrote 4 papers:
- OOPSLA-2011-WeeratungeZJ #using
- Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.
- ASPLOS-2010-WeeratungeZJ #concurrent #debugging #manycore
- Analyzing multicore dumps to facilitate concurrency bug reproduction (DW, XZ, SJ), pp. 155–166.
- ICSE-2010-SumnerZWZ #encoding #precise
- Precise calling context encoding (WNS, YZ, DW, XZ), pp. 525–534.
- ISSTA-2010-WeeratungeZSJ #concurrent #debugging #slicing #using
- Analyzing concurrency bugs using dual slicing (DW, XZ, WNS, SJ), pp. 253–264.