| |
| 2008 | ||
|---|---|---|
| 2 | 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 |
| 2007 | ||
| 1 | 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 |
| 1 | Zain Asgar | [1] |
| 2 | Amin Firoozshahian | [1] [2] |
| 3 | Rehan Hameed | [1] |
| 4 | Mark Horowitz | [1] [2] |
| 5 | Kyle Kelley | [1] |
| 6 | Wajahat Qadeer | [1] |
| 7 | Stephen Richardson | [2] |
| 8 | Alex Solomatnikov | [1] [2] |
| 9 | Megan Wachs | [1] [2] |