Program Boosting: Program Synthesis via Crowd-Sourcing

a brief look at each paper and read its abstract. Each paper below includes a URL. Some papers are available for free, and others are available for free only to you as UMass students. On campus, or when connected via the UMass VPN, the links will just work. If you are off campus, you may access the papers for free by adding .silk.library.umass.edu to the end of the domain. For example, http://dl.acm. org/citation.cfm?id=2491459 becomes http://dl.acm.org.silk.library.umass.edu/citation. cfm?id=2491459. (Note that the addition does not go to the end of the URL, but rather the end of the domain.) You will be asked to log in with your UMass credentials. List of papers:

• Type: Journal
• Year: 2015
• Where: POPL
• Authors: Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
• Keywords: POPL 2015, Programming Languages