Biruk Mammo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2017
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ASPDAC | AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs. | Biruk Mammo, Doowon Lee, Harrison Davis, Yijun Hou, Valeria Bertacco |
| 2016 | ICCAD | BugMD: automatic mismatch diagnosis for bug triaging. | Biruk Mammo, Milind Furia, Valeria Bertacco, Scott A. Mahlke, Daya Shanker Khudia |
| 2015 | ISLPED | ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability. | Biruk Mammo, Ritesh Parikh, Valeria Bertacco |
| 2013 | CGO | Schnauzer: scalable profiling for likely security bug sites. | William Arthur, Biruk Mammo, Ricardo Rodrguez Jorge, Todd M. Austin, Valeria Bertacco |
| 2013 | ICCAD | 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 |
| 2012 | DATE | Approximating checkers for simulation acceleration. | Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco |