| http://www.w3.org/ns/prov#value | - We have several other projects in the area of automatic program repair that might be a good fit for an REU student, with the exact project to be decided upon based on the interest and background of the candidate, including building a tool to automatically correct code in the face of external API changes or developing an analysis that can explain or make guarantees about the effect a change will ha
|