CS 598 MP - Software Verification

Fall 2021

Software VerificationCS598MP43667E240930 - 1045 M W    Madhusudan Parthasarathy

Official Description

Subject offerings of new and developing areas of knowledge in computer science intended to augment the existing curriculum. See Class Schedule or departmental course information for topics and prerequisites. Course Information: May be repeated in the same or separate terms if topics vary.

Section Description

CS598MP: Software Verification, Program Synthesis, and Interpretable AI Course website: https://courses.grainger.illinois.edu/cs598mp Though the formal title is ?Software Verification?, this topics course will be on the intersection of software verification, program synthesis, and interpretable machine-learning. After a quick introduction to verifying software using mostly logic-based techniques and abstraction, we will use this as a basis to explore program synthesis and machine-learning of interpretable concepts. The topics on program synthesis and interpretable machine learning will include: - Program and expression synthesis o Exact learning from specifications (in particular, SyGuS) o Exact learning from input-output examples (programming by examples) o Learning from noisy examples - Learning logics o Logics that admit efficient learning (passive, online, one-class classification, active, etc.) o A general theorem of exact learning of logics o Learning logical expressions

Last updated