CMSC838G

Advanced Topics in Programming Languages; Testing and Verification

Reviews for this courseTestudo

This course will focus on establishing software correctness using advanced formal verification, random-testing, and fuzzing techniques. Knowledge of at least one functional programming language (e.g. OCaml, Haskell, or Coq) is strongly recommended.

Sister Courses: CMSC838B, CMSC838C, CMSC838D, CMSC838E, CMSC838F, CMSC838J, CMSC838K, CMSC838L, CMSC838M, CMSC838N, CMSC838X

Past Semesters

Leonidas Lampropoulos

0 reviews
Average rating: N/A

Leonidas Lampropoulos

0 reviews
Average rating: N/A

Michael Hicks

0 reviews
Average rating: N/A

During the Spring 2020 and Spring 2021 semesters, students could choose to take some of their courses pass-fail mid-semester which skews grade data aggregated across multiple semesters.

Average GPA of 3.61 between 29 students*

CMSC838G Grade Distribution+-051015202530354045505560% of studentsABCDFWother
A-: 3.45%
A: 13.79%
A+: 41.38%
B: 10.34%
B+: 10.34%
W: 3.45%
other: 17.24%
* "W"s are considered to be 0.0 quality points. "Other" grades are not factored into GPA calculation. Grade data not guaranteed to be correct.