[journals] tidy up
[journals] add iwc paper
[conferences] add chi and asplos; tidy up
[bibs] misc typos
update all keys
fix crossrefs
[iwc13] add iwc 2013 article (iiiot)
[workshops] fix typos
[infocom12] add page numbers
[iwc12] rob's middle initial
[bmmp11] whitespace
[hotos03] add date
[imc02] spell gianluca's name correctly