Viktor Vafeiadis

Available identifiers

zbMath Open vafeiadis.viktorMaRDI QIDQ1664149

List of research outcomes

Publication	Date of Publication	Type
Unblocking dynamic partial order reduction	2024-02-01	Paper
Reconciling preemption bounding with DPOR	2023-12-13	Paper
The Challenges of Weak Persistency (Invited Talk)	2023-12-08	Paper
Program verification under weak memory consistency using separation logic	2022-07-01	Paper
The decidability of verification under PS 2.0	2021-10-18	Paper
On the semantics of snapshot isolation	2020-01-23	Paper
Explaining relaxed memory models with program transformations	2020-01-03	Paper
A separation logic for a promising semantics	2019-09-13	Paper
On parallel snapshot isolation and release/acquire consistency	2019-09-13	Paper
Modular verification of concurrency-aware linearizability	2018-08-24	Paper
Mtac: A monad for typed tactic programming in Coq	2017-10-23	Paper
A promising semantics for relaxed-memory concurrency	2017-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5357725	2017-09-12	Paper
Tackling Real-Life Relaxed Concurrency with FSL++	2017-05-19	Paper
Pilsner: a compositionally verified compiler for a higher-order imperative language	2017-05-10	Paper
Lightweight verification of separate compilation	2016-10-24	Paper
Taming release-acquire consistency	2016-10-24	Paper
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it	2016-09-29	Paper
Concurrent Separation Logic and Operational Semantics	2016-07-15	Paper
A Program Logic for C11 Memory Fences	2016-03-23	Paper
Owicki-Gries Reasoning for Weak Memory Models	2015-11-04	Paper
The marriage of bisimulations and Kripke logical relations	2015-09-11	Paper
Proving that non-blocking algorithms don't block	2015-07-03	Paper
Structuring the verification of heap-manipulating programs	2015-06-11	Paper
Aspect-oriented linearizability proofs	2015-04-22	Paper
Mtac	2015-03-30	Paper
Acute	2015-01-06	Paper
The power of parameterization in coinductive proof	2014-11-27	Paper
Relaxed-memory concurrency and verified compilation	2014-04-10	Paper
CompCertTSO	2014-02-17	Paper
Aspect-Oriented Linearizability Proofs	2013-08-12	Paper
Adjustable References	2013-08-07	Paper
RGSep Action Inference	2010-01-14	Paper
Deny-Guarantee Reasoning	2009-03-31	Paper
Modular Safety Checking for Fine-Grained Concurrency	2009-03-03	Paper
Shape-Value Abstraction for Verifying Linearizability	2009-02-10	Paper
A Marriage of Rely/Guarantee and Separation Logic	2008-09-18	Paper
Acute: High-level programming language design for distributed computation	2007-09-26	Paper

Research outcomes over time

This page was built for person: Viktor Vafeiadis