Ilya Wagner

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Highly Parallel

Distributed Memory

Constraint Networks

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

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) (2015)
Ilya Wagner, Shih-Lien Lu
Distributed hardware matcher framework for SoC survivability. DATE (2011)
Alaa R. Alameldeen, Ilya Wagner, Zeshan Chishti, Wei Wu, Chris Wilkerson, Shih-Lien Lu
Energy-efficient cache design using variable-strength error-correcting codes. ISCA (2011)
Ilya Wagner, Valeria Bertacco
Caspar: Hardware patching for multicore processors. DATE (2009)
Andrew DeOrio, Ilya Wagner, Valeria Bertacco
Dacota: Post-silicon validation of the memory subsystem in multi-core designs. HPCA (2009)
Ilya Wagner, Valeria Bertacco, Todd M. Austin
Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (2) (2008)
Ilya Wagner, Valeria Bertacco
Reversi: Post-silicon validation system for modern microprocessors. ICCD (2008)
Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie
Testudo: Heavyweight security analysis via statistical sampling. MICRO (2008)
Ilya Wagner, Valeria Bertacco
MCjammer: Adaptive Verification for Multi-core Designs. DATE (2008)
Kai-Hui Chang, Ilya Wagner, Valeria Bertacco, Igor L. Markov
Automatic error diagnosis and correction for RTL designs. HLDVT (2007)
Ilya Wagner, Valeria Bertacco, Todd M. Austin
Microprocessor Verification via Feedback-Adjusted Markov Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (6) (2007)
Ilya Wagner, Valeria Bertacco
Engineering trust with semantic guardians. DATE (2007)
Ilya Wagner, Valeria Bertacco, Todd M. Austin
Shielding against design flaws with field repairable control logic. DAC (2006)
Ilya Wagner, Valeria Bertacco, Todd M. Austin
Depth-driven verification of simultaneous interfaces. ASP-DAC (2006)
Ilya Wagner, Valeria Bertacco, Todd M. Austin
StressTest: an automatic approach to test generation via activity monitors. DAC (2005)