Paper accepted at ESEC/FSE'20: "Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization"

Supplementary Web Pages

For Research Articles

For PhD Theses

For MSc Theses

For BSc Theses