Michael D. Wilder

According to our database, Michael D. Wilder authored at least 3 papers between 2006 and 2012.

Collaborative distances:

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

2012

Improving Security Assurance of Embedded Systems through Systemic Dissolution of Architected Resources.

Michael D. Wilder, Robert Rinker

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2011

Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries.

Michael D. Wilder, Robert Rinker

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2006

The uniconc optimizing unicon compiler.

Michael D. Wilder

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006