Slide 1 7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Partial evaluation for optimized compilation of actor-oriented models Gang Zhou, Man-Kit Leung…