Niklas Holsti of Tidorum Ltd will present a paper at the WCET Workshop 2007 on "Analysing Switch-Case Tables by Partial Evaluation", a new method for analysing control-flow that is being implemented in Bound-T for some target processors.
An abstract and a preprint (pdf) are available.