Media Summary: Anindya Banerjee (IMDEA Software Institute) František Farka (IMDEA Software Institute, Spain) Germán Andrés Delbianco ... Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ...
Popl 22 Concurrent Incorrectness Separation - Detailed Analysis & Overview
Anindya Banerjee (IMDEA Software Institute) František Farka (IMDEA Software Institute, Spain) Germán Andrés Delbianco ... Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... A Cost-Aware Logical Framework Yue Niu, Jonathan Sterling, Harrison Grodin, and Robert Harper (Carnegie Mellon University, ... The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory
![[POPL'22] Concurrent Incorrectness Separation Logic](https://i.ytimg.com/vi/1m7ebAOH8CI/mqdefault.jpg)
![[POPL'22] On Incorrectness Logic and Kleene Algebra with Top and Tests](https://i.ytimg.com/vi/gLLlrnxB5Jg/mqdefault.jpg)
![[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full)](https://i.ytimg.com/vi/6QAaeND39go/mqdefault.jpg)
![[POPL'22] Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation L](https://i.ytimg.com/vi/qK9IAwmhTbk/mqdefault.jpg)
![[POPL'22] TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Pr](https://i.ytimg.com/vi/nOQuDbHkI6I/mqdefault.jpg)
![[POPL 2021] A Separation Logic for Effect Handlers (full)](https://i.ytimg.com/vi/Zqyu0LPbBb8/mqdefault.jpg)
![[POPL'22] A Separation Logic for Negative Dependence](https://i.ytimg.com/vi/eRhBZuIAQY4/mqdefault.jpg)
![[POPL'22] A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantu](https://i.ytimg.com/vi/cBbHLUuGONE/mqdefault.jpg)
![[SRC POPL'22] Noam Zilberstein -- An Under-Approximate Probabilistic Separation Logic](https://i.ytimg.com/vi/Jzx3-h-c3jE/mqdefault.jpg)
![[POPL'22] A Separation Logic for Heap Space under Garbage Collection](https://i.ytimg.com/vi/rh5MVxrctBQ/mqdefault.jpg)
![[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types](https://i.ytimg.com/vi/x7fp-avX_QE/mqdefault.jpg)
![[POPL'24] Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intension...](https://i.ytimg.com/vi/eYgDMkHwfco/mqdefault.jpg)
![[POPL'24] DisLog: A Separation Logic for Disentanglement](https://i.ytimg.com/vi/PhIHAlgHd7g/mqdefault.jpg)
![[POPL'22] A Cost-Aware Logical Framework](https://i.ytimg.com/vi/cMHLOOtuU3s/mqdefault.jpg)
![[POPL'26] A Relational Separation Logic for Effect Handlers](https://i.ytimg.com/vi/HjWjrERyHi8/mqdefault.jpg)
![[POPL'22] The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Conc](https://i.ytimg.com/vi/XLblh1mKmP4/mqdefault.jpg)
