Amitabha Roy Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, Steven Hand, Timothy L. Harris: Weak atomicity for the x86 memory consistency model. J. Parallel Distrib. Comput. 72(10): 1306-1317 (2012)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy: Memory Hierarchy Sensitive Graph Layout. CoRR abs/1203.5675 (2012)
2011
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, Steven Hand, Timothy L. Harris: Weak atomicity under the x86 memory consistency model. PPOPP 2011: 291-292
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, Steven Hand, Timothy L. Harris: Hybrid binary rewriting for memory access instrumentation. VEE 2011: 227-238
2009
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, Steven Hand, Timothy L. Harris: A runtime system for software lock elision. EuroSys 2009: 261-274
2008
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, Keir Fraser, Steven Hand: A transactional approach to lock scalability. SPAA 2008: 101-103
2006
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CoRR abs/cs/0605039 (2006)
2005
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, K. Gopinath: Improved Probabilistic Models for 802.11 Protocol Verification. CAV 2005: 239-252
2004
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amitabha Roy, K. Gopinath: Scalable Probabilistic Models for 802.11 Protocol Verification. CoRR cs.LO/0403044 (2004)

Coauthor Index

1Charles J. Fleckenstein
[c2] [i2]
2Keir Fraser
[c3]
3K. Gopinath
[c1] [i1]
4Steven Hand
[j1] [c6] [c5] [c4] [c3]
5Timothy L. Harris
[j1] [c6] [c5] [c4]
6John C. Huang
[c2] [i2]
7Stephan Zeisset
[c2] [i2]

Colors in the list of coauthors

Last update Thu May 23 14:10:01 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page