| 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 | 19 | 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 | 13 | 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 |
Valeria BertaccoProfessor, Computer Science and Engineering, University of MichiganVerified email at umich.edu
