| 2006 |
|---|
| 6 | EE | Chaiyasit Manovit,
Sudheendra Hangal:
Completely verifying memory consistency of test program executions.
HPCA 2006: 166-175 |
| 5 | EE | Chaiyasit Manovit,
Sudheendra Hangal,
Hassan Chafi,
Austen McDonald,
Christos Kozyrakis,
Kunle Olukotun:
Testing implementations of transactional memory.
PACT 2006: 134-143 |
| 2005 |
|---|
| 4 | EE | Sudheendra Hangal,
Naveen Chandra,
Sridhar Narayanan,
Sandeep Chakravorty:
IODINE: a tool to automatically infer dynamic invariants for hardware designs.
DAC 2005: 775-778 |
| 3 | EE | Chaiyasit Manovit,
Sudheendra Hangal:
Efficient algorithms for verifying memory consistency.
SPAA 2005: 245-252 |
| 2004 |
|---|
| 2 | EE | Sudheendra Hangal,
Durgam Vahia,
Chaiyasit Manovit,
Juin-Yeu Joseph Lu,
Sridhar Narayanan:
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.
ISCA 2004: 114-123 |
| 2002 |
|---|
| 1 | EE | Sudheendra Hangal,
Monica S. Lam:
Tracking down software bugs using automatic anomaly detection.
ICSE 2002: 291-301 |
