Ilya Wagner

According to our database, Ilya Wagner authored at least 16 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Post-Silicon Validation of Multiprocessor Memory Consistency.

Biruk W. Mammo, Valeria Bertacco, Andrew DeOrio, Ilya Wagner

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

2011

Energy-efficient cache design using variable-strength error-correcting codes.

Alaa R. Alameldeen, Ilya Wagner, Zeshan Chishti, Wei Wu, Chris Wilkerson, Shih-Lien Lu

Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011

Distributed hardware matcher framework for SoC survivability.

Ilya Wagner, Shih-Lien Lu

Proceedings of the Design, Automation and Test in Europe, 2011

2009

Dacota: Post-silicon validation of the memory subsystem in multi-core designs.

Andrew DeOrio, Ilya Wagner, Valeria Bertacco

Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009

Caspar: Hardware patching for multicore processors.

Ilya Wagner, Valeria Bertacco

Proceedings of the Design, Automation and Test in Europe, 2009

2008

An Effective Verification Solution for Modern Microprocessors.

Ilya Wagner

PhD thesis, 2008

Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors.

Ilya Wagner, Valeria Bertacco, Todd M. Austin

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

Testudo: Heavyweight security analysis via statistical sampling.

Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie

Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008

Reversi: Post-silicon validation system for modern microprocessors.

Ilya Wagner, Valeria Bertacco

Proceedings of the 26th International Conference on Computer Design, 2008

MCjammer: Adaptive Verification for Multi-core Designs.

Ilya Wagner, Valeria Bertacco

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Microprocessor Verification via Feedback-Adjusted Markov Models.

Ilya Wagner, Valeria Bertacco, Todd M. Austin

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

Automatic error diagnosis and correction for RTL designs.

Kai-Hui Chang, Ilya Wagner, Valeria Bertacco, Igor L. Markov

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Engineering trust with semantic guardians.

Ilya Wagner, Valeria Bertacco

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Shielding against design flaws with field repairable control logic.

Ilya Wagner, Valeria Bertacco, Todd M. Austin

Proceedings of the 43rd Design Automation Conference, 2006

Depth-driven verification of simultaneous interfaces.

Ilya Wagner, Valeria Bertacco, Todd M. Austin

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

StressTest: an automatic approach to test generation via activity monitors.

Ilya Wagner, Valeria Bertacco, Todd M. Austin

Proceedings of the 42nd Design Automation Conference, 2005