`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:

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