bibliographer - Viktor Vafeiadis

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

The Decidability of Verification under PS 2.0 Parosh Aziz Abdulla Mohamed Faouzi Atig Adwait Godbole S. Krishna Viktor Vafeiadis [github]

A Marriage of Rely/Guarantee and Separation Logic Viktor Vafeiadis Matthew Parkinson [github]

Mtac: A monad for typed tactic programming in Coq BETA ZILIANI DEREK DREYER NEELAKANTAN R. KRISHNASWAMI ALEKSANDAR NANEVSKI VIKTOR VAFEIADIS [github]

Structuring the verification of heap-manipulating programs Aleksandar Nanevski Viktor Vafeiadis Josh Berdine [github]

The marriage of bisimulations and Kripke logical relations Chung-Kil Hur Derek Dreyer Georg Neis Viktor Vafeiadis [github]

Pilsner: a compositionally verified compiler for a higher-order imperative language Georg Neis Chung-Kil Hur Jan-Oliver Kaiser Craig McLaughlin Derek Dreyer Viktor Vafeiadis [github]

Bridging the gap between programming languages and hardware weak memory models Anton Podkopaev Ori Lahav Viktor Vafeiadis [github]

Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models Azalea Raad John Wickerson Viktor Vafeiadis [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]