Added exec synthesis paper.