All Stories

  1. Bit-Vector Typestate Analysis

    Article • Formal Aspects of Computing, May 2023, ACM (Association for Computing Machinery)

    Pavle Subotic

  2. Detecting Data Leakages in Data Science Code

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

    Pavle Subotic, Milan Stojic

  3. On fast large-scale program analysis in Datalog

    Article • March 2016, ACM (Association for Computing Machinery)

    Pavle Subotic