David Sanán

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formally understanding Rust's ownership and borrowing system at the memory level Formal Methods in System Design	2025-01-13	Paper
A parametric rely-guarantee reasoning framework for concurrent reactive systems	2024-03-14	Paper
A verified specification of TLSF memory management allocator using state monads	2024-03-12	Paper
An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model Journal of Automated Reasoning	2021-06-09	Paper
Compositional reasoning for shared-variable concurrent programs (available as arXiv preprint)	2021-05-04	Paper
Compositional reasoning for shared-variable concurrent programs	2021-05-04	Paper
CSimpl: a rely-guarantee-based framework for verifying concurrent programs Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Proof tactics for assertions in separation logic	2018-01-04	Paper
State space reduction for sensor networks using two-level partial order reduction Lecture Notes in Computer Science	2014-11-03	Paper
Model checking dynamic memory allocation in operating systems Journal of Automated Reasoning	2009-08-31	Paper

Research outcomes over time

This page was built for person: David Sanán