Home

Welcome to the static-analysis-reading wiki! We have meetings where we discuss papers relating to static analysis, in the context of computer systems. The current schedule can be found here. We also are building a collection of background resources here.