| Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description H Wagstaff, M Gould, B Franke, N Topham Proceedings of the 50th Annual Design Automation Conference, 1-6, 2013 | 29 | 2013 |
| Coherence for categorified operadic theories MR Gould arXiv preprint arXiv:1002.0879, 2010 | 11 | 2010 |
| Design space exploration of hybrid ultra low power branch predictors M Bielby, M Gould, N Topham International Conference on Architecture of Computing Systems, 184-199, 2012 | 4 | 2012 |
| High speed cycle-approximate simulation of embedded cache-incoherent and coherent chip-multiprocessors C Thompson, M Gould, N Topham International Journal of Parallel Programming 46 (6), 1247-1282, 2018 | 3 | 2018 |
| High speed cycle approximate simulation for cache-incoherent MPSoCs C Thompson, M Gould, N Topham 2013 International Conference on Embedded Computer Systems: Architectures …, 2013 | 3 | 2013 |
| Selecting the optimal system: Automated design of application-specific systems-on-chip O Almer, M Gould, B Franke, N Topham Proceedings of the 4th International Workshop on Network on Chip …, 2011 | 3 | 2011 |
| The categorification of a symmetric operad is independent of signature M Gould arXiv preprint arXiv:0711.4904, 2007 | 2 | 2007 |
| Session II◆ Design Space Exploration Methodologies D Matos, G Palermo, V Zaccaria, C Reinbrecht, A Susin, C Silvano, ... Network on Chip Architectures, 29, 2011 | | 2011 |
| Research Proposal Summary M Gould | | 2007 |
| Categorical Semantics for Array Programming Languages M Gould | | 2007 |
| Every weak P-category is P-equivalent to a strict P-category M Gould | | 2006 |
