other persons with the same name:
| 2012 | ||
|---|---|---|
| j1 | Amitabha Roy, Steven Hand, Timothy L. Harris: Weak atomicity for the x86 memory consistency model. J. Parallel Distrib. Comput. 72(10): 1306-1317 (2012) | |
| i3 | ||
| 2011 | ||
| c6 | Amitabha Roy, Steven Hand, Timothy L. Harris: Weak atomicity under the x86 memory consistency model. PPOPP 2011: 291-292 | |
| c5 | Amitabha Roy, Steven Hand, Timothy L. Harris: Hybrid binary rewriting for memory access instrumentation. VEE 2011: 227-238 | |
| 2009 | ||
| c4 | Amitabha Roy, Steven Hand, Timothy L. Harris: A runtime system for software lock elision. EuroSys 2009: 261-274 | |
| 2008 | ||
| c3 | Amitabha Roy, Keir Fraser, Steven Hand: A transactional approach to lock scalability. SPAA 2008: 101-103 | |
| 2006 | ||
| c2 | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516 | |
| i2 | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CoRR abs/cs/0605039 (2006) | |
| 2005 | ||
| c1 | Amitabha Roy, K. Gopinath: Improved Probabilistic Models for 802.11 Protocol Verification. CAV 2005: 239-252 | |
| 2004 | ||
| i1 | Amitabha Roy, K. Gopinath: Scalable Probabilistic Models for 802.11 Protocol Verification. CoRR cs.LO/0403044 (2004) | |
| 1 | Charles J. Fleckenstein | |
| 2 | Keir Fraser | |
| 3 | K. Gopinath | |
| 4 | Steven Hand | |
| 5 | Timothy L. Harris | |
| 6 | John C. Huang | |
| 7 | Stephan Zeisset |
Colors in the list of coauthors
Last update Thu May 23 14:10:01 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page