Ph.D. CS Programming Languages & Compilers Body of Knowledge

All PLSE PhD students should be enrolled in CS 8001 each semester. A PLSE student must present at least once in CS 8001 PLS to meet the PLSE qualifier requirements.

A student has to take three courses as specified below and get an A in all the three courses. 

Three out of the following six courses based on the student’s area and the advisor's recommendation:

CS 6241:  Compiler Design

CS 6340:  Software Analysis & Test

CS 6390:  Programming Languages

CS 6301: Advanced Topics in Software Engineering

CS 6245: Parallelizing Compilers

CS 8803: SAT/SMT Solvers