25 citations · 61 across the 6 of their papers we have counts for
7 papers
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
Petar Maksimović, José Fragoso Santos, Sacha-Élie Ayoun +1
This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.
Gillian: Compositional Symbolic Execution for All
José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun +1
We present Gillian, a language-independent framework for the development of compositional symbolic analysis tools. Gillian supports three flavours of analysis: whole-program symbol…
Data Consistency in Transactional Storage Systems: a Centralised Approach
Shale Xiong, Andrea Cerone, Azalea Raad +1
We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on ab…
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner +1
We present TaDA Live, a concurrent separation logic for reasoning compositionally about the termination of blocking fine-grained concurrent programs. The crucial challenge is how t…
A Program Logic for First-Order Encapsulated WebAssembly
Conrad Watt, Petar Maksimović, Neelakantan R. Krishnaswami +1
We introduce Wasm Logic, a sound program logic for first-order, encapsulated WebAssembly. We design a novel assertion syntax, tailored to WebAssembly's stack-based semantics and th…
Skeletal Semantics and their Interpretations
Martin Bodin, Philippa Gardner, Thomas Jensen +1
The development of mechanised language specification based on structured operational semantics, with applications to verified compilers and sound program analysis, requires huge ef…