All Stories

  1. Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection

    Article • ACM Transactions on Programming Languages and Systems, March 2025, ACM (Association for Computing Machinery)

    Alexandre Moine

  2. Snapshottable Stores

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

    Alexandre Moine

  3. DisLog: A Separation Logic for Disentanglement

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

    Alexandre Moine

  4. A High-Level Separation Logic for Heap Space under Garbage Collection

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

    Alexandre Moine

  5. Specification and verification of a transient stack

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

    Alexandre Moine