Travelled to:1 × Turkey
1 × United Kingdom
2 × USA
Collaborated with:M.D.Bond M.Zhang A.Sengupta B.Lucia J.Huang M.Kulkarni M.Cao B.P.Wood R.Zhang Vignesh Balaji M.F.Salmi
Talks about:effici (3) support (2) static (2) region (2) depend (2) fail (2) lightweight (1) architectur (1) serializ (1) peacenik (1)
Person: Swarnendu Biswas
DBLP: Biswas:Swarnendu
Contributed to:
2015
2015
20142013
201620172020Wrote 7 papers:
- ASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid
- Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
- OOPSLA-2015-BiswasZBL #exception #named #performance
- Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
- PLDI-2014-BiswasHSB #named #performance #precise
- DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
- OOPSLA-2013-BondKCZSBSH #dependence #named #thread
- OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
- CC-2016-ZhangBB #dependence #parallel #runtime
- Relaxed dependence tracking for parallel runtime support (MZ, SB, MDB), pp. 45–55.
- CC-2017-BiswasCZBW #concurrent #detection #lightweight
- Lightweight data race detection for production runs (SB, MC, MZ, MDB, BPW), pp. 11–21.
- ASPLOS-2020-ZhangBBBL #architecture #consistency #memory management #named
- Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency (RZ, SB, VB, MDB, BL), pp. 317–333.