Seminars

View all Seminars  |  Download ICal for this event

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering

Series: Department Seminar

Speaker: Subhajit Roy

Date/Time: Dec 12 11:00:00

Location: CSA Seminar Hall (Room No. 254, First Floor)

Abstract:
We present a specialized framework, CHIRON, designed to teach graduate-level courses on Program Analysis. CHIRON has a small code base for easy understanding, uses a unified intermediate representation across all its analysis modules, maintains a modular architecture for plugging of new algorithms and uses a ??fun? programming language to provide a gamified experience. Currently, it packages a dataflow analysis engine for driving compiler optimizations; an abstract interpretation engine for verification; a symbolic execution engine, a fuzzer and an evolutionary test generator for program testing; and a spectrum based statistical bug localization module. Within CHIRON, program analysis tasks are posed in an unconventional setting (as adventures of a turtle) to provide a gamified experience; the accompanying animations (showing the movements of the turtle) allow the students to understand the underlying concepts better, and the detailed logs allow the teaching assistants in their grading activities. We plan to release CHIRON as an open source tool for teaching program analysis courses at other universities in the near future.

Speaker Bio:
Subhajit Roy is a faculty member at the Computer Science and Engineering department at IIT Kanpur. His interests are in Formal Methods, Artificial Intelligence, Software Engineering, and Programming Languages.

Host Faculty: Deepak DSouza