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 |