Alexandre Moine

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Method Invocation

Classical Logic

Garbage Collection

Space Efficient

Top Venues

Proc. ACM Program. Lang.

Publications

Alexandre Moine, Sam Westrick, Stephanie Balzer
DisLog: A Separation Logic for Disentanglement. Proc. ACM Program. Lang. 8 (POPL) (2024)
Alexandre Moine, Arthur Charguéraud, François Pottier
A High-Level Separation Logic for Heap Space under Garbage Collection. Proc. ACM Program. Lang. 7 (POPL) (2023)