Here is an incomplete table of technical contributions. Use the formula to calculate the number of points gained. The max points is the maximal points the group can get per contribution.
| Contribution | Formula | Max Points |
|---|---|---|
| Implementation | ||
| Implement Interpreter | 10 | 10 |
| Implement Abstract Interpreter | 10 | 10 |
| Implement Syntactic Analysis | 5 per analysis | 10 |
| Implement Abstraction | 5 per abstraction | 15 |
| Integrate Abstractions | 3 per abstraction after the first | 12 |
| Integrate Analyses | 5 per analysis after the first | 15 |
| Implement Context Sensitivity | 10 | 10 |
| Implement Symbolic Execution | 10 | 10 |
| Implement Smart Input Generator | 10 | 10 |
| Support a different language than Java | 10 per language | 10 |
| Evaluation | ||
| Make work on real-life code | 1 per 1k lines of code | 10 |
| Extend Benchmark Suite | 1 per method added | 10 |
| Theory | ||
| Prove abstractions correct | 5 per abstraction | 15 |
| Prove termination for widening operators | 5 per widening | 15 |
| Presentation | ||
| Paper written | 1 per page | 7 |
| Examples in report | 5 per abstraction | 10 |
| Read and relate to recent papers | 1 per paper | 10 |