Viktor Vafeiadis

Available identifiers

zbMath Open vafeiadis.viktorMaRDI QIDQ1664149

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Viktor Vafeiadis