News
Viktor Vafeiadis joins the MPI-SWS faculty
saarland-informatics-campus.de
· Viktor Vafeiadis joins the institute’s faculty, starting in October Viktor’s research interests are in software analysis and verification, programming languages, programming logics, and concurrency.
Viktor Vafeiadis awarded ERC Consolidator Grantsaarland-informatics-campus.de › News
saarland-informatics-campus.de
· Viktor Vafeiadis, head of the MPI-SWS Software Analysis and Verification group, has been awarded an ERC Consolidator Grant.
Campus Event Calendar: Viktor Vafeiadis ( in E )
domino.mpi-inf.mpg.de
Viktor Vafeiadis. coming from: Max Planck Institute for Software ...
Campus Event Calendar: Viktor Vafeiadis ( in E Hörsaal...
halma.mpi-inf.mpg.de
What and Who. Title: Relaxed memory concurrency and verified compilation. Speaker: Viktor Vafeiadis. coming from: Max Planck Institute for ...
Netzwerk-Profile
LinkedIn: Viktor Vafeiadis | LinkedIn
Viktor Vafeiadis’ berufliches Profil anzeigen LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und Führungskräften wie Viktor Vafeiadis dabei ...
LinkedIn: Viktor Vafeiadis | LinkedIn
Sehen Sie sich das berufliche Profil von Viktor Vafeiadis (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...
LinkedIn: Viktor Vafeiadis | Profil professionnel - LinkedIn
Voir le profil de Viktor Vafeiadis sur LinkedIn, la plus grande communauté professionnelle au monde. Viktor a 8 postes sur son profil. Consultez le profil complet ...
Viktor Vafeiadis vafeiadis - GitHubgithub.com › vafeiadis
github.com
Viktor Vafeiadis vafeiadis. Follow · 10 followers · 0 following · @MPI-SWS · http://www.mpi-sws.org/~viktor · Achievements.
Firmen-Mitarbeiter
Papers
www0.cs.ucl.ac.uk
+ Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis. Bi-Abductive Resource Invariant Synthesis. To Appear in APLAS + Dino Distefano. Attacking Large ...
Prof. Dr. Byron Cook, FREng
www0.cs.ucl.ac.uk
... Abigail See, Vlad Shcherbina, Jiri Simsa, Thomas Stroeder, Paul Subotic, Viktor Vafeiadis, Georg Weissenbacher, Thomas Wies, and Greta Yorsh.
Ausbildung
Biography | Gates Cambridge
www.gatescambridge.org
Dr Viktor Vafeiadis (2004). Status: Alum. Citizenship: Greece. Degree and subject: PhD Computer Science. College: Selwyn College.
Biography | Gates Cambridgewww.gatescambridge.org › Biography
www.gatescambridge.org
Viktor Vafeiadis. Alumni; Greece; PhD Computer Science; Selwyn College. University of Cambridge. Programme · The scholarship · The experience ...
Herkunft
Viktor Vafeiadis - The Mathematics Genealogy Project
genealogy.math.ndsu.nodak.edu
Viktor Vafeiadis. MathSciNet. Ph.D. University of Cambridge UnitedKingdom. Dissertation: Modular fine-grained concurrency verification. Mathematics ...
Bücher
Viktor Vafeiadis (Author of Modular fine-grained concurrency...
www.goodreads.com
Viktor Vafeiadis is the author of Modular fine-grained concurrency verification ( avg rating, 1 rating, 1 review)
Viktor Vafeiadis | João F. Ferreirajoaoff.com › authors › viktor-vafeiadis
joaoff.com
Viktor Vafeiadis. Latest. GPS+: Reasoning About Fences and Relaxed Atomics · Reasoning about Fences and Relaxed Atomics. © 2006—2022 João F. Ferreira.
Modular Fine-grained Concurrency Verification - Viktor Vafeiadis -...
books.google.de
... Modular Fine-grained Concurrency Verification. Author, Viktor Vafeiadis. Publisher, University of Cambridge, Export Citation, BiBTeX EndNote RefMan ...
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN ...books.google.co.il › books
books.google.co.il
[8] Ori Lahav, Nick Giannarakis, and Viktor Vafeiadis. Taming releaseacquire consistency. Proceedings of the 43rd Annual ACM SIGPLANSIGACT Symposium on ...
Dokumente zum Namen
[ ] Aspect-oriented linearizability proofs
arxiv.org
Authors:Soham Chakraborty (MPI-SWS), Thomas A. Henzinger (IST Austria), Ali Sezgin (University of Cambridge), Viktor Vafeiadis (MPI-SWS). (Submitted on
Model Checking for Weakly Consistent Libraries - MPI-SWS
plv.mpi-sws.org
WebViktor Vafeiadis MPI-SWS Germany Abstract We present GenMC, a model checking algorithm for concur- rent programs that is parametric in the choice of …
[ ] On the Semantics of Snapshot Isolation
arxiv.org
Authors: Azalea Raad, Ori Lahav, Viktor Vafeiadis. (Submitted on 16 May 2018). Abstract: Snapshot isolation (SI) is a standard transactional consistency model ...
Aspect-Oriented Linearizability Proofs
www.softwareresearch.net
Aspect-Oriented Linearizability Proofs . Ali Sezgin IST Austria . Where: , Room T (IST Austria) and Viktor Vafeiadis (MPI-SWS).
Wissenschaftliche Veröffentlichungen
Softwareentwicklung und Verifikation - Seminar: Aktuelle Themen ...www.uni-muenster.de › Informatik.AGMueller-Olm › teaching › seminar
www.uni-muenster.de
A Promising Semantics for Relaxed-Memory Concurrency Jeehoon Kang, Chung -Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer http://dl.acm.org/authorize?
Search results for "Viktor Vafeiadis" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 49 publication records. Showing 48 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Valter Balegas, Cheng Li ...
dblp: Certified Programs and Proofs 2015
dblp.uni-trier.de
Bibliographic content of Certified Programs and Proofs 2015
Veröffentlichungen allgemein
A Marriage of Rely/Guarantee and Separation Logic | SpringerLink
link.springer.com
In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both...
cpl - star
wiki.mpi-sws.org
Concurrent Program Logics. Instructors: Viktor Vafeiadis and Derek Dreyer. Teaching assistant: Georg Neis. Meeting time: 2 hours, once a week, April - July 2011
Automatically Proving Linearizability | SpringerLink
link.springer.com
Automatically Proving Linearizability. Authors; Authors and affiliations. Viktor Vafeiadis. Viktor Vafeiadis University of Cambridge. Conference paper.
Gate Synthesis for C Programs with Heap - Microsoft Research
www.microsoft.com
Byron Cook, Ashutosh Gupta, Satnam Singh, Viktor Vafeiadis. Draft under submission. | January Published by IEEE Computer Society. Download BibTex.
Artikel & Meinungen
Twitter-Nachrichten: Anthony Widjaja Lin on Twitter: "Congratulating Dr. Marko Doko ...twitter.com › anthonywlin › status
· ... his thesis on "Program Logic for Weak Memory Concurrency" under Viktor Vafeiadis and defended it yesterday at TU Kaiserslautern.
Wikipedia: Max Planck Institute for Software Systems - Wikipedia
The Max Planck Institute for Software Systems (MPI-SWS) is a computer science research ... Rupak Majumdar (Director), head of the Rigorous Software Engineering Group. Viktor Vafeiadis, head of the Software Analysis and Verification Group.
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
Viktor Vafeiadis. Modular fine-grained concurrency verification. PhD thesis, University of Cambridge, License Creative Commons BY 3.0 Unported license
Schloss Dagstuhl : Participant List
www.dagstuhl.de
... Viktor Vafeiadis (MPI-SWS – Kaiserslautern, DE) [dblp]; Martin Vechev (ETH Zürich, CH) [dblp]; Nobuko Yoshida (Imperial College London, ...
Sonstiges
Viktor Vafeiadis - Citações do Google Acadêmico
scholar.google.com.br
Viktor Vafeiadis. Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC). E-mail confirmado em mpi-sws.org - Página inicial.
Viktor Vafeiadis - Google Akademik
scholar.google.de
Viktor Vafeiadis. Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC). mpi-sws.org üzerinde doğrulanmış e-posta adresine ...
Viktor Vafeiadis - Google 学术搜索引用
scholar.google.com.tr
Viktor Vafeiadis. Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC). 在 mpi-sws.org 的电子邮件经过验证 - 首页.
Programming Language Semantics Rely/Guarantee Reasoning Parallel...
slideplayer.com
Programming Language Semantics Rely/Guarantee Reasoning Parallel Programs Tal Lev-Ami Viktor Vafeiadis Mooly Sagiv.
Viktor Vafeiadis - Google Scholar
scholar.google.com
Viktor Vafeiadis. Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC) Verified email at mpi-sws.org - Homepage. Software Verification Program Logic Concurrency Weak Memory Models Interactive Theorem Proving.
Viktor Vafeiadis - الباحث العلمي من Google
scholar.google.ca
Viktor Vafeiadis. Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC). بريد إلكتروني تم التحقق منه على mpi-sws.org ...
Viktor Vafeiadis - Google 学术搜索
scholar.google.de
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证. Chung-Kil HurSeoul ...
Viktor Vafeiadis | USENIXwww.usenix.org › atc14 › speaker-or-organizer › vi...
www.usenix.org
Viktor Vafeiadis. Linked Presentation: Automating the Choice of Consistency Levels in Replicated Systems. Gold Sponsors. Silver Sponsors. Bronze Sponsors ...
Viktor Vafeiadis - Google विद्वान
scholar.google.co.in
Google विद्वान. उद्धरण सूचियां, सभी, से. उद्धरण, 1507, h-अनुक्रमणिका, 20, 19. i10-अनुक्रमणिका, 26,
Viktor Vafeiadis - Μελετητής Googlescholar.google.gr › citations
scholar.google.gr
Viktor Vafeiadis. Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC). Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει ...
[Pl-seminar] Seminar: Viktor Vafeiadis, Program verification...
lists.ccs.neu.edu
Seminar presents Viktor Vafeiadis Max Planck Institute for ...
Viktor Vafeiadis - EasyChaireasychair.org › VSL2014 › person145
easychair.org
Viktor Vafeiadis. Organization: MPI-SWS. Web site: http://www.mpi-sws.org/~viktor. Pages in this Program. Coq Call for Papers.
Viktor Vafeiadis - The Mathematics Genealogy Projectwww.mathgenealogy.org › ...
www.mathgenealogy.org
According to our current on-line database, Viktor Vafeiadis has 1 student and 1 descendant. We welcome any additional information.
[Pl-seminar] Reminder: TODAY 12: :00, Viktor Vafeiadis, Program...
lists.ccs.neu.edu
Previous message: [Pl-seminar] TIME CHANGE: 12: :00, for Seminar: Viktor Vafeiadis, Program verification under weak memory ...
GenMC: Model checking for concurrent C programs - MPI-SWS
plv.mpi-sws.org
WebTool paper GenMC: A model checker for weak memory models. Michalis Kokologiannakis and Viktor Vafeiadis. In CAV (July 2021) [Paper (13 pages)] [Artifact @Zenodo] …
Advisors | Saarbrücken Graduate School of Computer Science
www.graduateschool-computerscience.de
Dr. Viktor Vafeiadis, Programming Languages and Verification ... Find out more about potential Advisors in Saarbrücken! Click on the names below. Professors.
Semantics for Persistent Memory
plv.mpi-sws.org
WebAzalea Raad, John Wickerson, Gil Neiger, and Viktor Vafeiadis. Proc. ACM Program. Lang. 4, POPL, Article 11 (January 2020) Weak persistency semantics from the ground up: …
Strong Logic for Weak Memory: Reasoning About Release …
plv.mpi-sws.org
WebJan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) The field of concurrent separation …
Taming Release-Acquire Consistency - MPI-SWS
plv.mpi-sws.org
WebViktor Vafeiadis (MPI-SWS) Coq formalisation Some of the proofs in the paper have been formalized in Coq (latest version 1.1, released ). Download the formalization [sra-1.1.zip] [CHANGELOG.txt] [all versions] …
CPP 2017
cpp2017.mpi-sws.org
CPP is co-located with POPL 2017, in Paris, ... Viktor Vafeiadis, MPI-SWS, Germany (co-chair) Freek Verbeek, Open University of the Netherlands, Netherlands;
sortiert nach Relevanz / Datum