Biruk Mammo

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Medical Diagnostic

Security Administration

Functional Verification

Top Venues

Publications

Biruk Mammo, Doowon Lee, Harrison Davis, Yijun Hou, Valeria Bertacco
AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs. ASP-DAC (2017)
Biruk Mammo, Milind Furia, Valeria Bertacco, Scott A. Mahlke, Daya Shanker Khudia
BugMD: automatic mismatch diagnosis for bug triaging. ICCAD (2016)
Biruk Mammo, Ritesh Parikh, Valeria Bertacco
ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability. ISLPED (2015)
Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. ICCAD (2013)
William Arthur, Biruk Mammo, Ricardo Rodríguez Jorge, Todd M. Austin, Valeria Bertacco
Schnauzer: scalable profiling for likely security bug sites. CGO (2013)
Biruk Mammo, Jim Larimer, Matthew Morgan, Dave Fan, Eric Hennenhoefer, Valeria Bertacco
Architectural Trace-Based Functional Coverage for Multiprocessor Verification. MTV (2012)
Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco
Approximating checkers for simulation acceleration. DATE (2012)