23 citations · 63 across the 17 of their papers we have counts for
19 papers
Context-Aware Separation Logic
Roland Meyer, Thomas Wies, Sebastian Wolff
Separation logic is often praised for its ability to closely mimic the locality of state updates when reasoning about them at the level of assertions. The prover only needs to conc…
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, Thomas Wies +1
Multiparty session types (MSTs) are a type-based approach to verifying communication protocols. Central to MSTs is a projection operator: a partial function that maps protocols rep…
Make flows small again: revisiting the flow framework
Roland Meyer, Thomas Wies, Sebastian Wolff
We present a new flow framework for separation logic reasoning about programs that manipulate general graphs. The framework overcomes problems in earlier developments: it is based…
Embedding Hindsight Reasoning in Separation Logic
Roland Meyer, Thomas Wies, Sebastian Wolff
Proving linearizability of concurrent data structures remains a key challenge for verification. We present temporal interpolation as a new proof principle to conduct such proofs us…
A Concurrent Program Logic with a Future and History
Roland Meyer, Thomas Wies, Sebastian Wolff
Verifying fine-grained optimistic concurrent programs remains an open problem. Modern program logics provide abstraction mechanisms and compositional reasoning principles to deal w…
Inverse-Weighted Survival Games
Xintian Han, Mark Goldstein, Aahlad Puli +3
Deep models trained through maximum likelihood have achieved state-of-the-art results for survival analysis. Despite this training scheme, practitioners evaluate models under other…