All Stories

  1. Making static program analysis more efficient and precise

    Article • Proceedings of the ACM on Programming Languages, January 2019, ACM (Association for Computing Machinery)

    Eric Bodden, Johannes Späth, Karim Ali