document.write("«&nbsp;<a href='/news/view?id=68570'>Effect-Driven QuickChecking of Compilers [pdf]</a>");document.write(" | ");document.write("<a href='/news/view?id=68572'>Feds: Mexican motorcycle club used stolen key data to fuel massive Jeep heist</a>&nbsp;»");