concurrency 1concurrent separation logic 1distributed execution 1effect handlers 1formal verification 1Iris 1linearizability 1logical atomicity 1program logics 1relational reasoning 1
From the 2 of 10 linked papers with an AI index.
Showing 2025 · cs.PLShow all
Nothing from them under that filter.
Their other years and fields are still on the left.