BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Roy:Amitabha

Contributed to:

SOSP 20152015
DATE 20142014
SOSP 20132013
PPoPP 20112011
CAV 20062006
CAV 20052005
KR 19961996

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.