Computer Science H220 - Programming Methodology colloq

Students will have the opportunity to study advanced topics related to programming language design and programming methodology: discussing programming paradigms, type systems, algorithms for type checking and type inference, methods for automated test generation focusing on specific language constructs or the detection of particular types of bugs, topics related to software evolution and maintenance and their relation to testing and bug detection. Students will be reading and discussing research papers, using state-of-the-art tools and carry out a project of their choice.

Open to Sophomore and Junior Commonwealth Honors College students only. DEPARTMENT CONSENT REQUIRED. NO OPTION FOR PASS/FAIL. STUDENTS MUST BE ENROLLED IN COMPSCI 220 (OR HAVE COMPLETED COMPSCI 220 WITH A GRADE OF B OR BETTER). INTERESTED STUDENTS MUST REQUEST OVERRIDE VIA ON-LINE FORM: https://www.cics.umass.edu/overrides.