These are solutions to the PL portion of the qualifier exams given in the CISE program at Syracuse University. Each exam solution is written in Coq as a .v file (containing definitions and proof script) along with a corresponding .pdf file that annotates the solution.
Links to the exams (note: we only include answers for PL):
Authors:
- Mengyu Liu
- Davis Silverman
- Yihao Sun
Compiled and edited by Kris Micinski (kkmicins@syr.edu).
We looked these over for correctness and believe they are correct, but the answers are not formally endorsed by, e.g., the quals committee. Please report any bugs to Kristopher Micinski (kkmicins@syr.edu) and he will post errata here.