All Stories

  1. A black box technique to reduce energy consumption of Android apps

    Article • May 2022, ACM (Association for Computing Machinery)

    Karim Ali

  2. SWAN: a static analysis framework for swift

    Article • November 2020, ACM (Association for Computing Machinery)

    Karim Ali

  3. 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

  4. VISUFLOW

    Article • May 2018, ACM (Association for Computing Machinery)

    Karim Ali, Eric Bodden

  5. IDE al : efficient and precise alias-aware dataflow analysis

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

    Eric Bodden, Karim Ali