The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Viktor Vafeiadis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
    Acute: high-level programming language design for distributed computation. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:15-26 [Conf]
  2. Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
    Proving correctness of highly-concurrent linearisable objects. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2006, pp:129-136 [Conf]
  3. Viktor Vafeiadis, Matthew Parkinson
    A Marriage of Rely/Guarantee and Separation Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:256-271 [Conf]
  4. Cristiano Calcagno, Matthew Parkinson, Viktor Vafeiadis
    Modular Safety Checking for Fine-Grained Concurrency. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:233-248 [Conf]

  5. Bi-abductive Resource Invariant Synthesis. [Citation Graph (, )][DBLP]


  6. Automatically Proving Linearizability. [Citation Graph (, )][DBLP]


  7. Concurrent Abstract Predicates. [Citation Graph (, )][DBLP]


  8. Deny-Guarantee Reasoning. [Citation Graph (, )][DBLP]


  9. Finding heap-bounds for hardware synthesis. [Citation Graph (, )][DBLP]


  10. Proving that non-blocking algorithms don't block. [Citation Graph (, )][DBLP]


  11. Structuring the verification of heap-manipulating programs. [Citation Graph (, )][DBLP]


  12. Shape-Value Abstraction for Verifying Linearizability. [Citation Graph (, )][DBLP]


  13. RGSep Action Inference. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002