| 2008 |
| 5 | EE | Ofer Shacham,
Megan Wachs,
Alex Solomatnikov,
Amin Firoozshahian,
Stephen Richardson,
Mark Horowitz:
Verification of chip multiprocessor memory systems using a relaxed scoreboard.
MICRO 2008: 294-305 |
| 4 | EE | Jacob Leverich,
Hideho Arakida,
Alex Solomatnikov,
Amin Firoozshahian,
Mark Horowitz,
Christos Kozyrakis:
Comparative evaluation of memory models for chip multiprocessors.
TACO 5(3): (2008) |
| 2007 |
| 3 | EE | Alex Solomatnikov,
Amin Firoozshahian,
Wajahat Qadeer,
Ofer Shacham,
Kyle Kelley,
Zain Asgar,
Megan Wachs,
Rehan Hameed,
Mark Horowitz:
Chip Multi-Processor Generator.
DAC 2007: 262-263 |
| 2 | EE | Amin Firoozshahian,
Vahideh Manshadi,
Ashish Goel,
Balaji Prabhakar:
Efficient, Fully Local Algorithms for CIOQ Switches.
INFOCOM 2007: 2491-2495 |
| 1 | EE | Jacob Leverich,
Hideho Arakida,
Alex Solomatnikov,
Amin Firoozshahian,
Mark Horowitz,
Christos Kozyrakis:
Comparing memory systems for chip multiprocessors.
ISCA 2007: 358-368 |