Text this: Selected Papers from SPL 2008: Programmable Logic and Applications