David A. Holland / publications

Thesis: Toward Automatic Operating System Ports via Code Generation and Synthesis (Advisors: Margo I. Seltzer and Stephen Chong)


(currently PDFs are only posted for some older ones I was able to export from an old database some time back — the rest will appear any year now... if there's anything you can't find by searching for the title let me know and I'll try to get it posted sooner)