The uniconc optimizing unicon compiler. - Michael D. Wilder (OOPSLA Companion, 2006)

Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries. - Michael D. Wilder; Robert Rinker (DSD, 2011)

Improving Security Assurance of Embedded Systems through Systemic Dissolution of Architected Resources. - Michael D. Wilder; Robert Rinker (HICSS, 2012)