The accepted papers for SAS (Static Analysis Symposium) have recently been announced and several appear relevant to this list: http://sas2010.univ-perp.fr/accepted_papers.html David