Your final task in this course will be to critically use the skills and techniques that you have learned about in class to explore some unanswered question within the context of program analysis. This may be as simple as implementing one of the techniques that we discussed in class in order to run and critical analyze some of the missing tests from the paper. It may be as complex as framing an entirely new problem and exploring potential solutions using the skills that you have acquired. You will ask and answer some question(s) that has(/have) not been tackled before. This project may be completed in pairs.
Before committing to a project, you must submit a one page project proposal in order to make sure that you are on a reasonable track. Your project proposal should clearly identify:
The final two class periods will be dedicated to student presentations of their term projects. This need not reflect the final state of the project, although it should cover the background, goals, methodologies, problems, and progress up to the point of the presentation. The final state of the project is reflected in the final papers.
TBA