Michael Wilder, Ph.D.

• Automatic synthesis of custom computing machines from executables, primarily targeting the embedded systems area.

Michael Wilder is an assistant professor in the Computer Science department at the University of Idaho. He earned his doctorate in computer science from U of I in 2012 after working at Motorola, HP and other companies. His areas of specialization include computer architecture, embedded systems, language translation systems, binary synthesis and automatic synthesis of heterogeneous systems. He has the privilege of teaching undergraduate students at the U of I in the areas of computational thinking, programming languages, computer architecture and computational theory.

• M.D. Wilder and R.E. Rinker. Improving Security Assurance of Embedded Systems Through Systemic Dissolution of Architected Resources, Proceedings of the 45th Annual Hawaii International Conference on System Sciences, 2012. Nominated for Best Paper.
• M.D. Wilder and R.E. Rinker. Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries, Proceedings of the 14th Annual EuroMICRO Conference on Digital Systems Design, 2011.
• M.D. Wilder and R.E. Rinker. Increasing Computational Density of Application-Specific Systems, Proceedings of the 2011 Electronic System-Level Synthesis Conference, 2011.
• M.D. Wilder, R.E. Rinker and J. Alves-Foss. Automated Preemptive Hardware Isolation of High-Risk Computing Applications, Proceedings of the Secure and Resilient Cyber Architectures Conference, 2010.
• M.D. Wilder and C.L. Jeffery. Towards Fast Incremental Hashing of Large Bit Vectors, Proceedings of the 41st Annual Hawaii International Conference on System Sciences, 2008.
• M.D. Wilder. The UNICONC Optimizing Unicon Compiler, Proceedings of the OOPSLA Companion, 2006.