Approximating checkers for simulation acceleration. - Biruk Mammo; Debapriya Chatterjee; Dmitry Pidan; Amir Nahir; Avi Ziv; Ronny Morad; Valeria Bertacco (DATE, 2012)

Architectural Trace-Based Functional Coverage for Multiprocessor Verification. - Biruk Mammo; Jim Larimer; Matthew Morgan; Dave Fan; Eric Hennenhoefer; Valeria Bertacco (MTV, 2012)

Schnauzer: scalable profiling for likely security bug sites. - William Arthur; Biruk Mammo; Ricardo Rodríguez Jorge; Todd M. Austin; Valeria Bertacco (CGO, 2013)

Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. - Debapriya Chatterjee; Biruk Mammo; Doowon Lee; Raviv Gal; Ronny Morad; Amir Nahir; Avi Ziv; Valeria Bertacco (ICCAD, 2013)

ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability. - Biruk Mammo; Ritesh Parikh; Valeria Bertacco (ISLPED, 2015)

Post-Silicon Validation of Multiprocessor Memory Consistency. - Biruk W. Mammo; Valeria Bertacco; Andrew DeOrio; Ilya Wagner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

BugMD: automatic mismatch diagnosis for bug triaging. - Biruk Mammo; Milind Furia; Valeria Bertacco; Scott A. Mahlke; Daya Shanker Khudia (ICCAD, 2016)

AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs. - Biruk Mammo; Doowon Lee; Harrison Davis; Yijun Hou; Valeria Bertacco (ASP-DAC, 2017)

Reining in the Functional Verification of Complex Processor Designs with Automation, Prioritization, and Approximation. - Biruk Mammo (2017)