• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 9 matches

• 2017
• 
  Biruk Mammo:
  Reining in the Functional Verification of Complex Processor Designs with Automation, Prioritization, and Approximation. University of Michigan, USA, 2017
• 
  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: 45-50
• 2016
• 
  Biruk Mammo, Milind Furia, Valeria Bertacco, Scott A. Mahlke, Daya Shanker Khudia:
  BugMD: automatic mismatch diagnosis for bug triaging. ICCAD 2016: 117
• 2015
• 
  Biruk W. Mammo, Valeria Bertacco, Andrew DeOrio, Ilya Wagner:
  Post-Silicon Validation of Multiprocessor Memory Consistency. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(6): 1027-1037 (2015)
• 
  Biruk Mammo, Ritesh Parikh, Valeria Bertacco:
  ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability. ISLPED 2015: 297-302
• 2013
• 
  William Arthur, Biruk Mammo, Ricardo Rodríguez Jorge, Todd M. Austin, Valeria Bertacco:
  Schnauzer: scalable profiling for likely security bug sites. CGO 2013: 24:1-24:11
• 
  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: 311-317
• 2012
• 
  Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco:
  Approximating checkers for simulation acceleration. DATE 2012: 153-158
• 
  Biruk Mammo, Jim Larimer, Matthew Morgan, Dave Fan, Eric Hennenhoefer, Valeria Bertacco:
  Architectural Trace-Based Functional Coverage for Multiprocessor Verification. MTV 2012: 1-5