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

All software that we develop or maintain is copyrighted as free software.
Most of our software is available on GitHub or GitLab.

Current Projects