Travelled to:1 × Turkey
1 × USA
1 × United Kingdom
Collaborated with:S.Biswas M.D.Bond J.Huang M.Zhang M.Kulkarni M.Cao M.F.Salmi
Talks about:static (2) effici (2) serializ (1) control (1) checker (1) analysi (1) thread (1) region (1) precis (1) hybrid (1)
Person: Aritra Sengupta
DBLP: Sengupta:Aritra
Contributed to:
2015
2014
2013Wrote 3 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.
- 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.