Alice Melloni
734 936.8875

Teaching this semester
Fall 2017: teaching release

Recent publications

"BugMD: Automatic Mismatch Diagnosis for Bug Triaging"
Biruk Mammo, Milind Furia, Valeria Bertacco, Scott Mahlke and Daya Khudia
International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2016
PDF File

"Correct Runtime Operation for NoCs through Adaptive-Region Protection"
Rawan Abdel-Khalek and Valeria Bertacco
Design Automation and Test in Europe (DATE), Dresden, Germany, March 2016
PDF File

"High-Radix On-chip Networks with Low-Radix Routers"
Animesh Jain, Ritesh Parikh and Valeria Bertacco
International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2014
PDF File

"uDIREC: Unified Diagnosis and Reconfiguration for Frugal Bypass of NoC faults"
Ritesh Parikh and Valeria Bertacco
International Symposium on Microarchitecture (MICRO), Davis, CA, December 2013
PDF File

Research interests

I am interested in creating novel solutions to enable the sustainable development of silicon systems, by making them more powerful, more reliable and significantly cheaper to design and manufacture. Specifically, I work on the design of novel, distributed and specialized architectures to boost the execution of big-data applications, I design algorithmic solutions to boost the correctness and reliability of complex silicon architectures at extremely low additional time and cost. Finally, I am working on novel design flows and assembly techniques, including chiplet-based design, to lower the cost of developing novel silicon designs, so that many more engineering teams can dedicate their creativity to the development of new hardware systems.


Valeria Bertacco is Arthur F. Thurnau Professor of Electrical Engineering and Computer Science at the University of Michigan and Adjunct Professor at the Addis Ababa Institute of Technology. Her research interests are in the area of computer design, with emphasis on specialized architecture solutions and design viability, in particular reliability, validation and hardware-security assurance. She joined the University of Michigan in 2003, after working with the Advanced Technology Group of Synopsys, which she joined via the acquisition of Systems Science Inc. During the Winter of 2012, she was on sabbatical at the Addis Ababa Institute of Technology.

Valeria has been a member of the Executive Committee of the Design Automation Conference since 2013, serving in the role of Technical Program Chair for 2017. The conference is the top forum in hardware and embedded systems design, attracting over 7,000 attendees yearly. She has also served as Associate Editor of the IEEE Transactions on Computer Aided Design. She is the author of three books on correctness in computer design.

She received her M.S. and Ph.D. degrees in Electrical Engineering from Stanford University in 1998 and 2003; and a Computer Engineering degree ("Dottore in Ingegneria") summa cum laude from the University of Padova, Italy in 1995. Valeria is the recipient of the IEEE CEDA Early Career Award, NSF CAREER award, the Air Force Office of Scientific Research's Young Investigator award and the IBM Faculty Award. From the University of Michigan she received the Vulcans Education Excellence Award, the Herbert Kopf Service Excellence Award and the Rackham Faculty Recognition Award. Valeria is an ACM Distinguished Scientist and an IEEE Fellow.