Artifact for the "Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic" paper of OOPSLA'26

Egor Sergeevich Namakonov; Justus Fasse; Bart Jacobs; Lars Birkedal; Amin Timany

doi:10.5281/zenodo.18457698

February 2, 2026Open Access

Artifact for the "Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic" paper of OOPSLA'26

View Full Paper

Ask AI

Bookmark

Share

Key Points

The research aims to develop a framework for liveness reasoning in higher-order impredicative concurrent separation logic.
Provided an artifact outlining the technical development behind the framework.
Included a `MANUAL.md` for detailed setup and usage instructions.
Offers a modular approach to reasoning about liveness.
Outlines the theoretical foundations and practical applications of the developed framework.

Implication

Artifact demonstrates liveness reasoning in impredicative concurrent separation logic, implying modular design benefits.

Abstract

This artifact provides the technical development for the *Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic* paper accepted to OOPSLA'26. Please consult the `MANUAL.md` file for the detailed description.

Discussion

No takes yet. Share an insight, caveat, or question.

Cite This Study

Namakonov et al. (2026) studied this question.

synapsesocial.com/papers/698585db8f7c464f230098bd https://doi.org/10.5281/zenodo.18457698

View Full Paper

Ask AI

Bookmark

Share

Artifact for the "Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic" paper of OOPSLA'26

Key Points

Implication

Abstract

Discussion

Cite This Study

Artifact for the "Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic" paper of OOPSLA'26

Key Points

Implication

Abstract

Discussion

Cite This Study

Keep reading

Keep reading