Selected Papers from SPL 2009: Programmable Logic and Applications