From October 11th to October 13th 2018,forty researchers from the US,the UK,Canada,Australia,Japan,Singapore and China gathered at Yanqi-Lake to attend Yanqi-Lake Meeting 2018 to discuss software automation in the big data era.Software automation refers to the process of generating software automatically based on formal or informal specifications.Software automation (e.g.,program synthesis,code completion,program transformation,code recommendation,program repair,and software selfevolution) used to be a dream in computer science,which can free developers from tedious programming.Following the theme of the Yanqi-Lake Meeting,we provide a special focus on software automation,which includes one review paper,one research paper,one perspective paper,and one letter.