BugMD: Automatic mismatch diagnosis for bug triaging B Mammo, M Furia, V Bertacco, S Mahlke, DS Khudia 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-7, 2016 | 20 | 2016 |
Post-silicon validation of multiprocessor memory consistency BW Mammo, V Bertacco, A DeOrio, I Wagner IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015 | 14 | 2015 |
Reining in the functional verification of complex processor designs with automation, prioritization, and approximation BW Mammo | 6 | 2017 |
Approximating checkers for simulation acceleration B Mammo, D Chatterjee, D Pidan, A Nahir, A Ziv, R Morad, V Bertacco 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 153-158, 2012 | 6 | 2012 |
Schnauzer: Scalable profiling for likely security bug sites W Arthur, B Mammo, R Rodriguez, T Austin, V Bertacco Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013 | 3 | 2013 |
Architectural trace-based functional coverage for multiprocessor verification B Mammo, J Larimer, M Morgan, D Fan, E Hennenhoefer, V Bertacco 2012 13th International Workshop on Microprocessor Test and Verification …, 2012 | 3 | 2012 |
Redeem: A heterogeneous distributed microarchitecture for energy-efficient reliability B Mammo, R Parikh, V Bertacco 2015 IEEE/ACM International Symposium on Low Power Electronics and Design …, 2015 | 2 | 2015 |
AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs B Mammo, D Lee, H Davis, Y Hou, V Bertacco 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 45-50, 2017 | 1 | 2017 |
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms D Chatterjee, B Mammo, D Lee, R Gal, R Morad, A Nahir, A Ziv, ... 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 311-317, 2013 | 1 | 2013 |
Schnauzer: Scalable profiling for likely security bug sites V Bertacco, R Rodriguez, W Arthur, B Mammo, T Austin Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013 | 1 | 2013 |