All Stories

  1. A Separation Logic for Parallel Time Complexity with Work and Span Credits

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

    Alexandre Moine

  2. TypeDis: A Type System for Disentanglement

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

    Alexandre Moine

  3. All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs

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

    Alexandre Moine

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

  5. Snapshottable Stores

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

    Alexandre Moine

  6. DisLog: A Separation Logic for Disentanglement

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

    Alexandre Moine

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

  8. Specification and verification of a transient stack

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

    Alexandre Moine