All Stories

  1. Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach

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

    Alexander Gryzlov