Travelled to:1 × Germany
1 × United Kingdom
5 × USA
Collaborated with:W.Zwaenepoel T.M.Jones K.Gopinath I.Mihailovic S.Hand T.L.Harris L.Bindschaedler J.Malicevic S.Zeisset C.J.Fleckenstein J.C.Huang J.M.Crawford M.L.Ginsberg E.M.Luks
Talks about:process (2) consist (2) stream (2) memori (2) verif (2) model (2) graph (2) probabilist (1) secondari (1) directori (1)
Person: Amitabha Roy
DBLP: Roy:Amitabha
Contributed to:
2015
20142013
2011
20062005
1996Wrote 7 papers:
- SOSP-2015-0002BMZ #graph #named
- Chaos: scale-out graph processing from secondary storage (AR, LB, JM, WZ), pp. 410–424.
- DATE-2014-RoyJ #named #optimisation #thread
- ALLARM: Optimizing sparse directories for thread-local data (AR, TMJ), pp. 1–6.
- SOSP-2013-RoyMZ #graph #named #streaming #using
- X-Stream: edge-centric graph processing using streaming partitions (AR, IM, WZ), pp. 472–488.
- PPoPP-2011-RoyHH #consistency #memory management
- Weak atomicity under the x86 memory consistency model (AR, SH, TLH), pp. 291–292.
- CAV-2006-RoyZFH #consistency #memory management #performance #polynomial #verification
- Fast and Generalized Polynomial Time Memory Consistency Verification (AR, SZ, CJF, JCH), pp. 503–516.
- CAV-2005-0002G #modelling #probability #protocol #verification
- Improved Probabilistic Models for 802.11 Protocol Verification (AR, KG), pp. 239–252.
- KR-1996-CrawfordGLR #problem #symmetry
- Symmetry-Breaking Predicates for Search Problems (JMC, MLG, EML, AR), pp. 148–159.